My picture

I am a second-year PhD student working on the verification of the higher-order automated reasoning system Leo-III in the interactive theorem prover Lambdapi. My PhD is a joint degree between the University of Greifswald, where I am supervised by Alexander Steen, and the Université Paris-Saclay, where I am supervised by Frédéric Blanqui and am part of Deducteam.

My main research interests are automated reasoning in higher-order logic and its formal verification, which is the focus of my ongoing PhD project. I also have a background in biology and participate in interdisciplinary research within the AI-Biome project.

Publications

Conference papers

Flexible automation of quantified multi-modal logics with interactions

Melanie Taprogge, Alexander Steen

German Conference on Artificial Intelligence (Künstliche Intelligenz) (2023)

Bibtex

Journal papers

Modelling suggests Wolbachia-induced cytoplasmic incompatibility in oak gall wasps with cyclical parthenogenesis

Melanie Taprogge, Sonja Grath

Journal of Evolutionary Biology (2024)

Bibtex

Further contributions

Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework (Master Thesis)

Melanie Taprogge

University of Greifswald (2024)

Bibtex

Talks

Encoding and Verifying Leo-III Proofs in the Dedukti Framework

Final EuroProofNet Symposium, WG2 Workshop (September 2025)

Flexible Automation of Quantified Multi-Modal Logics with Interactions

German Conference on Artificial Intelligence (Künstliche Intelligenz) (September 2023)

Slides

Education

Teaching

Further Activities

Scholarships and Grants