- Project Assistant, MSc
- TU Wien
- Institut für Informationssysteme 184/4
- Favoritenstraße 9–11
- 1040 Wien
- Room: HD 03 16
- Phone: +43 (1) 58801 – 740076
- Email: ahumenbe [at] forsyte.at
- Web: forsyte.at/~humenberger/, TISS
- Computer Algebra, Proof Theory, Automated Deduction
- I am a PhD student affiliated with the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in November 2016 under the supervision of Prof. Laura Kovacs. I am also a project assistant in the Formal Methods in Systems Engineering group (FORSYTE).
- MSc in Logic and Computation (TU Wien), master thesis: Abstract Proof Structures - A uniform framework, October 2016
- BSc in Software & Information Engineering (TU Wien)
- For list of publications visit my FORSYTE site.