Andreas Humenberger
Angestellt, Research Assistant, TU Wien
Abschluss: PhD, TU Wien
Linz, Österreich
Werdegang
Berufserfahrung von Andreas Humenberger
Bis heute 8 Jahre und 6 Monate, seit 2016
Research Assistant
TU Wien
Research in the area of software verification and AI. Developed and implemented algebra-based algorithms for reasoning about numeric loops in the context of software verification. Designed and developed software in Julia and C/C++.
4 Monate, Sep. 2018 - Dez. 2018
Research Intern
Princeton University
Developed and implemented algorithms in the area of software verification in OCaml.
2015 - 2016
Research Assistant
TU Wien
Research in Mathematical Logic.
10 Monate, Okt. 2014 - Juli 2015
Teaching Assistant at Knowledge-Based Systems Group
TU Wien
Prepared and graded student projects. Covered topics include SAT Solving, Answer-Set Programming and Description Logics.
2011 - 2014
Software Engineer
Fabasoft R&D GmbH
Developed and maintained a file manager extension for synchronizing offline documents with a web service on macOS. Used programming languages include C/C++ and Objective-C.
1 Jahr und 1 Monat, Aug. 2009 - Aug. 2010
Software Engineer
Fabasoft R&D GmbH
Developed and maintained a file manager extension for synchronizing offline documents with a web service on Windows, Linux and macOS (focus on the latter). Used programming languages include C/C++ and Objective-C.
2008 - 2009
Software Tester
GoldenSource
Ausbildung von Andreas Humenberger
4 Jahre und 3 Monate, Nov. 2016 - Jan. 2021
Logical Methods in Computer Science
TU Wien
2014 - 2016
Computational Intelligence
TU Wien
3 Jahre und 7 Monate, Okt. 2010 - Apr. 2014
Software & Information Engineering
TU Wien
2004 - 2009
EDV und Organisation
HTL Leonding
Sprachen
Deutsch
Muttersprache
Englisch
Fließend