Andreas Lackner

Andreas Lackner is a PreDoc Researcher at the Institute of Logic and Computation within the Faculty of Informatics at Vienna University of Technology, specializing in the Security and Privacy research group (E192-06). His work bridges theoretical computer science with practical security applications through advanced logical frameworks.

He holds a Diplom-Ingenieur (Dipl.-Ing., equivalent to Master of Science) and Bachelor of Science (BSc) from Vienna University of Technology, with his diploma thesis focusing on non-linear extensions to the superposition calculus. His academic foundation combines rigorous theoretical training with applied security perspectives.

Lackner's research centers on Security and Privacy through the lens of Automated Reasoning, where he develops novel approaches for non-linear reasoning within the superposition calculus framework. This work targets critical challenges in formal verification of cryptographic protocols and complex security systems, with implications for advancing theorem-proving capabilities in real-world security applications. His methodology integrates logical deduction systems with constraint-solving techniques to handle non-linear arithmetic in verification contexts.

His 2022 diploma thesis represents foundational work in extending automated theorem proving to non-linear domains, situated within computer science and artificial intelligence disciplines. The research explores specialized subfields including superposition calculus enhancements, equality reasoning under non-linear constraints, and unification theory extensions for security protocol analysis.

No scientific awards were documented in the source materials.

As an early-career PreDoc researcher, Lackner is currently developing his doctoral research program without established student supervision or principal investigator grant leadership. His trajectory indicates future focus on applying advanced reasoning techniques to emerging privacy challenges in distributed systems.

He actively contributes to the Security and Privacy research group (E192-06), collaborating on projects that employ formal methods for security protocol verification and privacy-preserving system design within the Institute of Logic and Computation's broader research ecosystem.