معرفی
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.
۰مقاله منتشرشده
