Luca WolffTheorem Proving for the MMT System2022B.Sc.computer science
Moritz BlöcherTowards functional programming in LATIN22022B.Sc.computer science
Navid RouxA Framework for Defining Structure-Preserving Diagram Operators2021M.Sc.computer science
Annika SchmidtA Modular Formalization of Set Theory2021M.Sc.computer science
Sven WilleEquality reasoning in MMT2021M.Sc.computer science
Christian CernyGenerating Expressions in MMT2021B.Sc.computer science
Dennis MüllerMathematical Knowledge Management Across Formal Libraries2019Ph.D.computer science went on to University Erlangen-Nuremberg, Erlangen, Germany
Navid RouxRefactoring of Theory Graphs in Knowledge Representation Systems2019B.Sc.computer science
Colin RothgangTheories as inductive types2017B.Sc.computer science went on to Berlin Mathematical School, Berlin, Germany
Mihnea IancuTowards Flexiformal Mathematics2017Ph.D.computer science
Roxana NadragTowards Integrating Mathematical Libraries via Alignments2015B.Sc.computer science
Fulya HorozalA Framework for Defining Declarative Languages2014Ph.D.computer science
Timo LückeA Description Operator for First-Order-Logic2013B.Sc.computer science went on to Jacobs University, Bremen, Germany
Felix ManceA Practical OpenMath Machine2013B.Sc.computer science went on to ETH Zürich, Zürich, Switzerland
Stefania DumbravaA Type Theory based on Reflection2012M.Sc.computer science went on to INRIA, Paris, France
Maria AlecuGeneric unification for type theories2012B.Sc.computer science went on to University of Edinburgh, Edinburgh, United Kingdom
Mihnea IancuManagement of Change in Declarative Languages2012M.Sc.computer science went on to Jacobs University, Bremen, Germany
Füsun HorozalManagement of Change in the Web Ontology Language2012M.Sc.computer science
Iulia IgnatovModular Encoding of Type Theory2012B.Sc.computer science went on to ETH Zürich, Zürich, Switzerland
Vladimir ZamdzhievFormalizing Syntactical Objects within Formalized Set Theory2011B.Sc.mathematics went on to University of Oxford, Oxford, United Kingdom
Alin IacobTowards Project-Based Workflows in Twelf2011M.Sc.computer science went on to Jacobs University, Bremen, Germany
Vladimir ZamdzhievUniversal OpenMath Machine2011B.Sc.computer science went on to University of Oxford, Oxford, United Kingdom
Mihnea IancuFormalizing Foundations of Mathematics2010B.Sc.computer science went on to Jacobs University, Bremen, Germany
Dimitar MisevIntegrating SUMO and OMDoc2010B.Sc.computer science went on to Jacobs University, Bremen, Germany
Catalin DavidInteractive Documents and Computer Algebra Systems: JOBAD and Wolfram|Alpha2010B.Sc.computer science went on to Jacobs University, Bremen, Germany
Kristina SojakovaMechanically Verifying Logic Translations2010M.Sc.computer science went on to Carnegie Mellon University, Pittsburgh, USA
Stefania DumbravaStructured Specifications with Hiding in the Edinburgh Logical Framework LF2010B.Sc.mathematics went on to Jacobs University, Bremen, Germany
Jana GičevaIntegrating Web Services into Active Mathematical Documents2009B.Sc.computer science went on to ETH Zürich, Zürich, Switzerland
Alin IacobReasoning about Theory Morphisms2009B.Sc.computer science went on to Jacobs University, Bremen, Germany
Elena AgapieRepresenting Functors in a Web-Scalable Module System2008B.Sc.computer science went on to Harvard University, Cambridge, USA
Kristina SojakovaTranslating Dependently-Typed Logic to First-Order Logic2008B.Sc.mathematics went on to Jacobs University, Bremen, Germany