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.


Vision Paper: Generating Incremental Type Services
André Pacak and Sebastian Erdweg
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE). ACM, 2019 [PDF]

Generating Incremental Type Services
André Pacak and Sebastian Erdweg
In International Workshop on Incremental Computing (IC). 2019.

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

Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
Sylvia Grewe, André Pacak, and 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, and Mira Mezini
Science of Computer Programming, PPDP Special Issue. Elsevier, 2018. [PDF]


Poster at SPLASH 2019
Talk at SLE 2019
Talk at the IC 2019 workshop
Attending PLISS 2019



Teaching assistant for Language and Compiler Construction, Winter 2019, JGU Mainz
Teaching assistant for Programming Languages, Summer 2019, JGU Mainz

Ongoing Theses


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

Staudingerweg 9
55128 Mainz