| Luca Wolff | Theorem Proving for the MMT System | 2022 | B.Sc. | computer science |
|
| Moritz Blöcher | Towards functional programming in LATIN2 | 2022 | B.Sc. | computer science |
|
| Navid Roux | A Framework for Defining Structure-Preserving Diagram Operators | 2021 | M.Sc. | computer science |
|
| Annika Schmidt | A Modular Formalization of Set Theory | 2021 | M.Sc. | computer science |
|
| Sven Wille | Equality reasoning in MMT | 2021 | M.Sc. | computer science |
|
| Christian Cerny | Generating Expressions in MMT | 2021 | B.Sc. | computer science |
|
| Dennis Müller | Mathematical Knowledge Management Across Formal Libraries | 2019 | Ph.D. | computer science |
went on to University Erlangen-Nuremberg, Erlangen, Germany |
| Navid Roux | Refactoring of Theory Graphs in Knowledge Representation Systems | 2019 | B.Sc. | computer science |
|
| Colin Rothgang | Theories as inductive types | 2017 | B.Sc. | computer science |
went on to Berlin Mathematical School, Berlin, Germany |
| Mihnea Iancu | Towards Flexiformal Mathematics | 2017 | Ph.D. | computer science |
|
| Roxana Nadrag | Towards Integrating Mathematical Libraries via Alignments | 2015 | B.Sc. | computer science |
|
| Fulya Horozal | A Framework for Defining Declarative Languages | 2014 | Ph.D. | computer science |
|
| Timo Lücke | A Description Operator for First-Order-Logic | 2013 | B.Sc. | computer science |
went on to Jacobs University, Bremen, Germany |
| Felix Mance | A Practical OpenMath Machine | 2013 | B.Sc. | computer science |
went on to ETH Zürich, Zürich, Switzerland |
| Stefania Dumbrava | A Type Theory based on Reflection | 2012 | M.Sc. | computer science |
went on to INRIA, Paris, France |
| Maria Alecu | Generic unification for type theories | 2012 | B.Sc. | computer science |
went on to University of Edinburgh, Edinburgh, United Kingdom |
| Mihnea Iancu | Management of Change in Declarative Languages | 2012 | M.Sc. | computer science |
went on to Jacobs University, Bremen, Germany |
| Füsun Horozal | Management of Change in the Web Ontology Language | 2012 | M.Sc. | computer science |
|
| Iulia Ignatov | Modular Encoding of Type Theory | 2012 | B.Sc. | computer science |
went on to ETH Zürich, Zürich, Switzerland |
| Vladimir Zamdzhiev | Formalizing Syntactical Objects within Formalized Set Theory | 2011 | B.Sc. | mathematics |
went on to University of Oxford, Oxford, United Kingdom |
| Alin Iacob | Towards Project-Based Workflows in Twelf | 2011 | M.Sc. | computer science |
went on to Jacobs University, Bremen, Germany |
| Vladimir Zamdzhiev | Universal OpenMath Machine | 2011 | B.Sc. | computer science |
went on to University of Oxford, Oxford, United Kingdom |
| Mihnea Iancu | Formalizing Foundations of Mathematics | 2010 | B.Sc. | computer science |
went on to Jacobs University, Bremen, Germany |
| Dimitar Misev | Integrating SUMO and OMDoc | 2010 | B.Sc. | computer science |
went on to Jacobs University, Bremen, Germany |
| Catalin David | Interactive Documents and Computer Algebra Systems: JOBAD and Wolfram|Alpha | 2010 | B.Sc. | computer science |
went on to Jacobs University, Bremen, Germany |
| Kristina Sojakova | Mechanically Verifying Logic Translations | 2010 | M.Sc. | computer science |
went on to Carnegie Mellon University, Pittsburgh, USA |
| Stefania Dumbrava | Structured Specifications with Hiding in the Edinburgh Logical Framework LF | 2010 | B.Sc. | mathematics |
went on to Jacobs University, Bremen, Germany |
| Jana Gičeva | Integrating Web Services into Active Mathematical Documents | 2009 | B.Sc. | computer science |
went on to ETH Zürich, Zürich, Switzerland |
| Alin Iacob | Reasoning about Theory Morphisms | 2009 | B.Sc. | computer science |
went on to Jacobs University, Bremen, Germany |
| Elena Agapie | Representing Functors in a Web-Scalable Module System | 2008 | B.Sc. | computer science |
went on to Harvard University, Cambridge, USA |
| Kristina Sojakova | Translating Dependently-Typed Logic to First-Order Logic | 2008 | B.Sc. | mathematics |
went on to Jacobs University, Bremen, Germany |