Andreas Humenberger
Project Assistant, PhD student
I am a PhD student under the supervision of Laura Kovács. In 2016 I graduated with a MSc degree from TU Wien, and currently I am affiliated with the LogiCS Doctoral College.
Address:
Andreas Humenberger
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
| Room: | HE 03 05 (how to get there) |
| Phone: | +43 (1) 58801 – 740 076 |
| Email: | ahumenbe@forsyte.at |
| Web: | http://forsyte.at/~humenberger/ |
Publications
| 2020 | |
| [4] | Algebra-Based Loop Synthesis IFM, volume 12546 of Lecture Notes in Computer Science, pages 440–459, 2020, Springer. |
| 2018 | |
| [3] | Invariant Generation for Multi-Path Loops with Polynomial Assignments Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Isil Dillig, Jens Palsberg, eds.), volume 10747 of Lecture Notes in Computer Science, pages 226–246, 2018, Springer. |
| [2] | Aligator.jl - A Julia Package for Loop Invariant Generation Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, eds.), volume 11006 of Lecture Notes in Computer Science, pages 111–117, 2018, Springer. |
| 2017 | |
| [1] | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017 (Michael A. Burr, Chee K. Yap, Mohab Safey El Din, eds.), pages 221–228, 2017, ACM. |
