Regular biography
Fabian Muehlboeck is a Lecturer and ARC DECRA Fellow at The Australian National University's School of Computing. His research interests include areas related to computing, though specific details are not provided. He is affiliated with the ANU College of Systems & Society and can be contacted via email at fabian.muehlboeck@anu.edu.au. His personal and professional profile is available at https://comp.anu.edu.au/people/fabian-muehlboeck/.
Scholar-generated biography
Fabian Muehlboeck is a Lecturer at the Australian National University, specializing in Programming Language Design, Type Systems, and Gradual Typing. His research focuses on developing sound and efficient type systems, particularly in the context of gradual typing, which allows for the integration of dynamically and statically typed code. He has contributed to advancements in nominal typing, structural typing, and the formal verification of programming language constructs. His work includes exploring the intersection of union and intersection types with subtyping, as well as the development of middleware for monitoring and verification. His publications reflect a strong emphasis on theoretical foundations and practical implementations in programming languages.