Dr. rer. nat.
+49 89 3603522 560
Dr. Vincent Aravantinos received his PhD from Grenoble University (France) in 2010 in theoretical computer science, more specifically in computational logic. He then worked one year at Vienna Technical University in the field of automated theorem proving, and two years in Concordia University (Canada), in interactive theorem proving and the use thereof for the formal verification of optical systems. At fortiss, his research interests include formal verification, model-based driven development, and the interdisplinary use of techniques coming from computer science.
- Factory Product Lines: Tackling the Compatibility Problem. In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, 2016. ACM. .
- FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry. 2016. .
- Textual model-based software/system architecture documentation using MPS. In Software Engineering & Management, volume 239, pages 232-237, 2015. .
- Formal Verification of Optical Quantum Flip Gate. In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 358–373, 2014. Springer. .
- Implicational Rewriting Tactics in HOL. In Interactive Theorem Proving (ITP), volume 8558 of Lecture Notes in Computer Science, pages 45-60, 2014. Springer. .