About
Malin Altenmüller is a researcher in the field of Computer Science, specializing in mathematically structured programming and formal verification. She has actively contributed to academic events such as the Scottish Programming Languages and Verification Summer School 2024 and the TYPES 2022 conference.
- Organizer of special symposia at Scottish Programming Languages and Verification Summer School 2024
- Contributed a long talk at TYPES 2022: TypOS: An 'Operating System' for Typechecking Actors
Her research focuses on the intersection of programming languages, type systems, and formal methods for software correctness. This work has implications for concurrent programming, software engineering, and theoretical computer science.
0Publications listed
Find Malin Altenmüller elsewhere
Related Searches
You Might Also Like
- CClemens KupkeUniversity of Strathclyde · Senior Lecturer
Neel KrishnaswamiUniversity of Cambridge · Lecturer- EEdwin BradyUniversity of St Andrews · Associate Professor
Jan de Muijnck-HughesUniversity of Strathclyde · Lecturer- LLorenzo GheriUniversity of Liverpool · Researcher
- AAleks NanevskiIMDEA Software Institute · Research Professor