I am a researcher at the Informatics Institute
, Technical University Munich
the Chair for Logic and Verification
and patroned by goddess Isabelle
My main research interests are in Mathematical Logic, Type Systems, Process Algebra, Category Theory and Theorem Proving, and
intersections of these areas.
My recent work focuses on (co)recursion and (co)induction principles for various data types, including syntax with bindings,
and their representation in Isabelle/HOL. In particular, I have (co)designed a new (co)datatype package for Isabelle/HOL.
I am also interested in information-flow security, and am involved in the RS3
Security Type Systems and Deduction
In the past, I have worked on Fuzzy Logic and Abstract Model Theory.
Institut für Informatik, Technische Universität München,
Boltzmannstr. 3, 85748 Garching, Germany
Email: uuomul yahoo.com