About Me

I'm a PhD Student in the Programming Languages Group at the Johannes Gutenberg-University Mainz under the supervision of Sebastian Erdweg. I received my Bachelor's and Master's degree in computer science at TU Darmstadt in 2015 and 2018, respectively. I currently focus my research on deriving incremental type checkers based on traditional ones. Other interests include domain-specific languages, type systems, and functional programming.


System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
In Principles and Practice of Declarative Programming (PPDP). 2018. [PDF]

Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
Sylvia Grewe, André Pacak, Mira Mezini
Proceedings of the 4th Vampire Workshop. EPiC Series in Computing, volume 53, 2018. [PDF]

Exploration of language specifications by compilation to first-order logic
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
Science of Computer Programming, PPDP Special Issue. Elsevier, 2018. [PDF]


Attending PLISS 2019


Teaching assistant for Programming Languages, Summer 2019, JGU Mainz


André Pacak
Office: 03-126
E-Mail: pacak@uni-mainz.de

Staudingerweg 9
55128 Mainz