Malvin Gattinger - Dutch Formal Methods Day 2025

Thu 26 Jun 2025 Amsterdam, Netherlands

Registered user since Thu 12 Jun 2025

Name:Malvin Gattinger

Country:Netherlands

Affiliation:ILLC, University of Amsterdam

Personal website: https://malv.in

GitHub: https://github.com/m4lvin

Research interests:Modal Logic

Contributions

2025

Dutch Formal Methods Day

Formalizing Cyclic Tableaux for PDL in Lean

Show activities from other conferences

Dutch Formal Methods Day 2025-profile
View general profile