people/meta/former.html

+---
+layout: default
+title: Former KWARC Members
+permalink: /people/former/
+---
+
+{% assign people = site.pages | where: "layout", "person" | where_exp: "person",
+"person.end_date != null" | sort: "start_date" %}
+
+<p>This page lists the former members of the KWARC group (<a href="/people/">current
+members</a>). We are very proud of our alumni; if you are one, please keep in touch. </p>
+
+
+{% include people_list.html people=people %}

people/mgrigore.md

 ---
 layout: person
+
 title: Mihai Grigore
-fullname: Mihai Grigore
+fullname: M.Sc. Mihai Grigore
+
 role: master-student
 start_date: 2008-09
 end_date: 2010-08
 ---
-### Thesis Title:
+
+### Thesis Title
 Knowledge-poor Interpretation of Mathematical Expressions in Context

people/miancu.md

 ---
 layout: person
+
 title: Mihnea Iancu
 fullname: Dr. Mihnea Iancu
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: miancu
-role: phd-student
 pic: public/images/miancu.png
+
+public: auto
+
+role: phd-student
 start_date: 2012-04
 end_date: 2017-01
 ---
-### Description:
+
+### Description
 working on various projects within the KWARC group in the direction of iMMT and OMDoc2.
 
-### Thesis Title:
-Towards Flexiformal Mathematics
+### Thesis
+[Towards Flexiformal Mathematics](https://opus.jacobs-university.de/frontdoor/index/index/docId/721)
+December 2014.

people/mkamaris.md

+layout: person
+
+title: Marie-Helen Kamaris
+fullname: Marie-Helen Kamaris
+pic: 
+
+role: support-staff
+start_date: 2025-03
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg

people/mkohlhase.md

 ---
 layout: person
-title: Michael Kohlhase
+
+title: Prof. Dr. Michael Kohlhase
 fullname: Prof. Dr. Michael Kohlhase
-fulltitle: Professur für Wissensrepräsentation und -verarbeitung
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: mkohlhase
+
+start_date: 2003-09 
 role: faculty
 pic: public/images/mkohlhase.jpg
+
+orcid: 0000-0002-9859-6337
+github: kohlhase
+gitlab: mkohlhase
+mathhub: mkohlhase
+dblp: k/Kohlhase:Michael
+zbmath: kohlhase.michael
+researchgate: Michael_Kohlhase
+publink: auto
+affiliation: "Informatik, FAU Erlangen-Nürnberg &  Computer  Science, Carnegie Mellon University"
 ---
-### Contact Details: 
-**Office**: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, <michael.kohlhase@fau.de>
+### Description  
+Dr. Michael Kohlhase is professor for Knowledge Representation/Processing (Computer
+ Science) at FAU Erlangen-Nürnberg and adjunct associate professor for Computer Science at
+ Carnegie Mellon University.
 
-**Secretary**: Gabriele Schönberger, Room 11.158, tel/fax: (49) 9131-85-64057/55, <gabriele.schoenberger@fau.de>
+His research interests include knowledge representation for STEM (Science, Technology,
+Engineering, Mathematics), inference-based techniques for natural language processing,
+computer-supported education and user assitance. He pursues these (interrelated) topics
+focusing on the aspects of modular foundations (usually logical methods) and large-scale
+structures in document corpora. The research is conducted in the context of the
+[KWARC group](http://kwarc.info) (Knowledge Adaptation and Reasoning for Content) and in
+extended visits to Carnegie Mellon University, SRI International, and the Universities of
+Amsterdam, Edinburgh, and Auckland. Details in my [CV](/public/cv-kohlhase.pdf) or on [Wikipedia](https://en.wikipedia.org/wiki/Michael_Kohlhase)
+
+
+### Contact
+**Office**: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, <michael.kohlhase@fau.de>
 
-**Office at Jacobs University Bremen**: Room 169 Research I, tel/fax: +49 421 200 3140/493140,  <m.kohlhase@jacobs-university.de>
+**Secretary**: [Gabriele Schönberger](https://www8.cs.fau.de/people/gabriele-schoenberger/), Room 11.158, tel/fax: (49) 9131-85-64057/55, <gabriele.schoenberger@fau.de>
 
-### Description: 
-I am also an adjunct associate professor at the School of Computer Science Carnegie Mellon University and an adjunct professor at [Jacobs University Bremen](http://jacobs-university.de). My research is conducted in the context of the KWARC group (Knowledge Adaptation and Reasoning for Content) [go there for an overview](http://kwarc.info).
 
-<!--  LocalWords:  fulltitle mkohlhase Martensstraße Schönberger
- -->

people/mmakaveeva.md

 ---
 layout: person
+
 title: Milena Makaveeva
-fullname: Milena Makaveeva 
+fullname: Ms.C. Milena Makaveeva 
+
 role: master-student
 start_date: 2007-09
 end_date: 2009-08
 ---
-### Thesis Title:
+
+### Thesis Title
 Management of Change in Common Criteria IT Security Documentation

people/mrapp.md

+---
+layout: person
+
+title: Max Rapp
+fullname: M.Sc. Max Rapp
+pic: public/images/mrapp.jpg
+
+role: phd-student
+start_date: 2018-09
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---
+
+### Description
+
+I am a scientific research assistant at KWARC working on the [ALMANAC](https://kwarc.info/projects/almanac/)-project.
+
+In the broadest sense, I try to do practical philosophy by finding "good enough" answers to the
+foundational theoretical questions of a field to allow practical application. 
+
+A bit more concretely, I am currently interested in supplementing statistical AI with techniques from symbolic AI to
+remedy some of its shortcomings with respect to explainability, principledness and user empowerment.
+
+Yet more concretely, I am trying to contribute to the maturation of argumentation technologies by investigating the theoretical
+relationships between various argumentation frameworks and providing tools for their implementation.
+
+I obtained my MSc in Logic at the University of Amsterdam. My Master thesis focussed on logics for argumentation, argument based belief and their dynamics. It can be accessed [here](https://eprints.illc.uva.nl/1631/1/MoL-2018-17.text.pdf).
+
+Before that I did undergraduate work in Philosophy at the Munich School of Philosophy and obtained an MSc in Philosophy of Science from the London School of Economics and Political Science.
+
+My Email address is _myFirstName_._myLastName_@fau.de

people/mrupprecht.md

+---
+layout: person
+
+title: Marcel Rupprecht
+fullname: Marcel Rupprecht 
+SOONpic: public/images/dmueller.jpg
+
+role: master-student
+start_date: 2016-04
+end_date: 2019-08
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+NOwebsite: http://blog.logicalphalluses.net/
+---
+
+### Contact
+Email: "d." + lastname.replace("ü","ue") + "@" + this.domain

people/mschuetz.md

+---
+layout: person
+title: Marcel Schütz
+fullname: M.Sc. Marcel Schütz
+role: phd-student
+pic: public/images/mschuetz.jpg
+github: McEarl
+orcid: 0000-0002-5386-5134
+publink: auto
+start_date: 2023-03
+---
+
+I am a PhD student at [FAU Erlangen-Nürnberg](https://www.fau.eu/),
+currently involved in the [VoLL-KI](https://www.voll-ki.fau.de/en/)
+project.
+
+I studied mathematics with a focus on mathematical logic and with
+philosophy as a minor subject.
+In 2020 I completed my *Bachelor of Science* at the
+[University of Bonn](https://www.uni-bonn.de/en)
+with a thesis on the natural language proof assistant
+[Naproche](https://naproche.github.io/)
+and in 2022 I achieved my *Master of Science* at
+[TU Darmstadt](https://www.tu-darmstadt.de/index.en.jsp)
+with a thesis on forcing in the context of topos theory.
+
+I am interested in set theory, type theory and category theory, especially regarding
+their role in the foundations of mathematics and the development of proof assistants.
+
+Email: `firstname + “.” + lastname.replace(“ü”,“ue”) + “@” + “fau.de”`

people/mwagner.md

+---
+layout: person
+
+title: Michael Wagner
+fullname: M.Sc. Michael Wagner
+pic: public/images/mwagner.jpg
+
+role: phd-student
+start_date: 2020-09
+publink: auto
+---
+
+### Description
+I studied computer science at [FAU Erlangen-Nürnberg](http://www.fau.de). I wrote my master thesis ["Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization"](https://gl.kwarc.info/supervision/wagner_michael) at the [KWARC group](http://kwarc.info).  
+Afterwards I started working at the CDI as a developer. 
+
+### Current Work
+Some of the things I'm working on/with at the moment include JupyterHub, Kubernetes, VUE, Filesender, OpenBIS, DataCite and the FAUDataCloud. 
+
+### Contact
+michael.wm.wagner@fau.de

people/nmueller.md

 ---
 layout: person
+
 title: Normen Müller
 fullname: Dr. Normen Müller
-role: phd-student
 pic: public/images/nmueller.jpg
+
+role: phd-student
 start_date: 2005-09
 end_date: 2010-07
+
+affiliation: BearingPoint Software Solutions GmbH
+
+publink: auto
 ---
+
 ### Description
 In May 2010 I have received my PhD in computer science at the Jacobs  University.
-### Thesis Title:
-Thesis Title: Adaptation of Mathematical Documents
-### Current Affiliation?
-BearingPoint Software Solutions GmbH
 
+### Thesis Title
+Adaptation of Mathematical Documents

people/nroux.md

+---
+layout: person
+
+title: Navid Roux
+fullname: M.Sc. Navid Roux
+pic: public/images/nroux.png
+
+start_date: 2018-11
+role: master-student
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+github: ComFreek
+orcid: 0000-0002-8348-2441
+publink: auto
+mathhub: NavidRoux
+researchgate: Navid_Roux
+website: https://navid-roux.netlify.app/
+---
+### Description  
+
+I am Navid ([they/he](http://pronoun.is/they?or=he)) and a research assistant at kwarc
+currently funded on the [VollKI](https://kwarc.info/projects/voll-ki/) and [FrameIT project](https://kwarc.info/systems/frameit/).
+My research interest is *knowledge representation and processing* of formal declarative languages including
+foundations, logics, type and set theories, and math.
+My work is heavily inspired and closely tied to the [MMT project](https://kwarc.info/systems/mmt/),
+where I develop theory in the framework given by the [MMT language](https://uniformal.github.io/doc/language/)
+and apply it in practice in the [MMT system](https://github.com/UniFormal/MMT) (a reference implementation and associated ecosystem of software).
+I am advised by [Michael Kohlhase](https://kwarc.info/people/mkohlhase/) and [Florian Rabe](https://kwarc.info/people/frabe/).
+
+### Current Work
+
+- **[FrameIT](https://uframeit.org)** (see link for collaborators): developing a prototype of a serious educational game that exploits knowledge management and logic features of the [MMT system](https://kwarc.info/systems/mmt/).
+
+  That way, we separate developing the 3D game mechanics from encoding and management of the serious game contents.
+  We formalize the latter in the MMT system and thus enable all the features that it already provides.
+  Checking whether a player-entered solution is correct? Amounts to typechecking.
+  Composing multiple serious game contents? Amounts to combination of formalizations.
+  Translating serious game contents from one world to another? Amounts to a pushout in the formalization.
+
+  See our paper [*FrameIT: Detangling Knowledge Management from Game Design in Serious Games*](http://kwarc.info/kohlhase/submit/cicm20-frameit.pdf).
+
+- **Partial and higher-order logical relations for a logical framework** and representation therein (joint work with Florian Rabe): we used partial logical relations to translate Church-style formalizations of type theories to Curry-style ones, see ["Systematic Translation of Formalizations of Type Theory
+from Intrinsic to Extrinsic Style"](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf)
+
+
+### Previous Work
+
+- **Publications (selection):** click on the bibliography icon on the right.
+  - [*Systematic Translation of Formalizations of Type Theory
+from Intrinsic to Extrinsic Style*](https://kwarc.info/people/frabe/Research/RR_soften_21.pdf) (joint work with Florian Rabe)
+  - [*FrameIT: Detangling Knowledge Management from Game Design in Serious Games*](https://kwarc.info/kohlhase/papers/cicm20-frameit.pdf) (joint work with Michael Kohlhase and many more authors, see link)
+- **Master's Thesis:** [A Framework for Defining Structure-Preserving Diagram Operators](https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2022/RouxNavid.pdf) (todo: links to corrupted pdf) ([slides](https://gl.kwarc.info/NavidRoux/seminar/-/blob/c73c6362a195a5e8d57c2723e179df04f3d5960b/SS2022/diagops/slides.pdf))
+- **Master's Seminar:** [*A Beginner's Guide to Logical Relations for a Logical Framework*](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/guide.pdf) ([slides](https://gl.kwarc.info/supervision/seminar/-/blob/e1b1ea2fd5eb8d4d864140cddf20a9ca28397583/WS2021/logrels/slides.pdf))
+- **Master's Project:** [*Structure-Preserving Diagram Operators*](https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2020/Roux_Navid.pdf)
+- **Bachelor's Thesis:** [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/bsc-thesis/) ([slides](https://gl.kwarc.info/NavidRoux/seminar/-/blob/26d392e0eabff2e3c27de12fddd40dbe3823808c/SS2019/refactoring-theory-graphs/slides.pdf))
+- **MMT ecosystem:** developing [tools](https://github.com/ComFreek/mmteditor) and [multiple syntax highlighters](https://github.com/ComFreek/mmtpygments) making one's life even more enjoyable with the MMT system.
+
+See [my personal website](https://navid-roux.netlify.app/) for Master's courses I have taken.
+
+### Contact
+
+Feel free to contact me at `firstname.lastname@fau.de`.

people/pzoleko.md

+---
+layout: person
+
+title: Pascal Zoleko
+fullname: B.Sc. Pascal Zoleko
+pic: public/images/pzoleko.png
+
+start_date: 2018-11
+end_date: 2020-03
+role: master-student
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+github: zolekode
+---
+### Description  
+
+I study Computer Science at the [University of Erlangen-Nürnberg](https://www.fau.eu/) where I focus on pattern recognition and knowledge representation. I previously studied Wirtschaftsinformatik B.Sc. here in Erlangen-Nürnberg and my thesis was about developing a calculus to extend Fuzzy Description Logics with Nominals.
+
+I am a big fan of Artificial Intelligence and its applications in real life. I love mixing up or morphing unrelated algorithms and combining different approaches to create new ones. My main interest lies in the unification of symbolic and sub-symbolic techniques that can make an impact in society and bring us one step closer to solving the one-brain barrier. 
+
+### Current Work
+
+- My Master's studies and my Master's Project. In a nutshell the goal of the project is to find a way to translate mathematical text written in English to a controlled fragment of English. Achieving this goal would facilitate the formalisation of knowledge represented currently written in natural language.
+
+- I am also a full time Researcher at [Flexudy](https://www.flexudy.com). Flexudy is a startup I co-founded that uses AI to help people learn easier and faster. The [FAU](https://www.fau.eu/) has always supported us from day one and thanks to the support of some Professors like Prof. Kohlhase, Flexudy recently obtained state funding.
+My research at Flexudy focuses on Question Asking, Neuro-Symbolic Text embeddings and Text Summarisation.
+
+### Contact
+
+Feel free to contact me at pascalzoleko@gmail.com.

people/rhambasan.md

+---
+layout: person
+
+title: Radu Hambasan
+fullname: Radu Hambasan
+
+role: bachelor-student
+pic: public/images/rhambasan.jpeg
+start_date: 2014-03
+end_date: 2015-12
+
+affiliation: Facebook
+---
+### Thesis Title:
+
+Faceted Search for Mathematics

people/rmarcus.md

+---
+layout: person
+
+title: Richard Marcus
+fullname: M.Sc. Richard Marcus
+pic: public/images/rmarcus.jpg
+
+role: phd-student
+start_date: 2018-04
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+NOwebsite: 
+---
+I am a PhD Student at [FAU Erlangen-Nürnberg](http://www.fau.de) and currently working on multiple project cooperations of the [KWARC group](http://kwarc.info) and the [Chair of Visual Computing](https://www.lgdv.tf.fau.de/)
+
+I completed my bachelor's degree also at FAU and started to focus on computer graphics.
+My thesis was about acceleration structures for ray tracing.
+With the rapid development of new hardware, I became fascinated with the possibilities of virtual and augmented reality.
+However, I also began to branch out to different fields, especially machine learning and artificial intelligence in general.
+
+This also becomes apparent in my research interests. While I consider each of the mentioned fields as very exciting in its own right,
+I am most interested in cases where they intersect with each other, e.g. rendering images with help of machine learning or intelligent agents in virtual environments.
+
+My master's thesis focused on the 3D visualization of theory graphs and led to the development of the [TGView3D](https://github.com/UniFormal/TGView3D) graph viewer.
+Because of the complexity and size of those graphs traditional 2D-visualizations are often not sufficient.
+Virtual Reality can then add intuitive and immersive interactions.
+
+Currently, I am involved in the [UFrameIT Project](https://uframeit.org/).
+UFrameIT  brings knowledge management techniques into game development. It introduces a new workflow for integrating domain knowledge and solves different challenges of implementing game interactions.
+
+
+
+
+### Contact
+Email: richard.marcus@fau.de

people/sanca.md

 ---
 layout: person
+
 title: Stefan Anca
-fullname: Stefan Anca
+fullname: M.Sc. Stefan Anca
+
 role: master-student
 start_date: 2007-09
 end_date: 2009-08
 ---
-###Thesis Title:
+
+### Thesis Title
 Recovering content from Scientific Documents for Search

people/sdumbrava.md

 ---
 layout: person
+
 title: Stefania Dumbrava
-fullname: Stefania Dumbrava
-role: master-student
+fullname: M.Sc. Stefania Dumbrava
 pic: public/images/sdumbrava.jpeg
+
+role: master-student
 start_date: 2010-09
 end_date: 2012-09
----
-### Research interests:
-foundations of mathematics (category theory, type theory, logic), automated reasoning (formalization and computer-aided formal verification of mathematics).
 
-###Thesis Title:
-Towards a Type Theory with Reflection
+affiliation: Université Paris-Sud XI
+---
 
-### UPDATE:
+### Description
 As of October 1st 2012, I am a PhD student at Université Paris-Sud XI, working in the Toccata INRIA-LRI group, under the supervision of Véronique Benzaken and Évelyne Contejean, on the certification of data-centric systems.
+
+### Research Focus
+Foundations of mathematics (category theory, type theory, logic), automated reasoning (formalization and computer-aided formal verification of mathematics).
+
+### Thesis Title
+Towards a Type Theory with Reflection
\ No newline at end of file

people/swille.md

+---
+layout: person
+
+title: Sven Wille
+fullname: B.Sc Sven Wille
+role: master-student
+start_date: 2018-10
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---

people/tpollinger.md

 ---
 layout: person
+
 title: Theresa Pollinger
-fullname: Theresa Pollinger
-affiliation: Computational Engineering, FAU Erlangen-Nürnberg
+fullname: M.Sc. Theresa Pollinger
 pic: public/images/tpollinger.jpg
-account: tpollinger
+
+publink: auto
+
 role: master-student
 start_date: 2017-05
-
+end_date:  2018-07
 ---
- I am doing my Master's thesis at the KWARC group, somewhere in the field between Mathematical Knowledge Representation and High Performance Simulations. If you are interested in the current status of the topic, feel free to contact me.
+
+### Description
+I did my Master's thesis at the KWARC group, somewhere in the field between Knowledge
+Representation and Mathematical Modeling and Simulations. Now I am continuing for a while
+to complete the things I have have started. 
+
+#### Thesis
+
+[Knowledge Representation for Modeling and Simulation
+– Bridging the Gap Between Informal PDE Theory and Simulations Practice](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf)
+
+
+
+

people/twiesing.md

 ---
 layout: person
+
 title: Tom Wiesing
-fullname: B.Sc. Tom Wiesing
-affiliation: Data Engineering, Jacobs University
-account: twiesing
-role: master-student
+fullname: M.Sc. Tom Wiesing
 pic: public/images/twiesing.jpg
+
+role: phd-student
 start_date: 2013-02
+
+publink: auto
+
+website: https://tkw01536.de
+affiliation: FAU Erlangen-Nürnberg
 ---
 
-### Description: 
-Hi, my name is Tom Wiesing and I am a German guy who is currently a _Data Engineering_ master student at _Jacobs University Bremen_ in my 4th and final semester.
+### Description
 
-I am working for _KWARC_ mostly on _localmh_, a cross-repository administration tool for the local authoring of MathHub.info content.
+Hi, my name is Tom Wiesing and I am a German guy who is currently a _PhD candidate_ in the KWARC Group at FAU Erlangen-Nürnberg. 
+Previously, I achieved my _Master Of Science_ at _Jacobs University Bremen_ in _Data Engineering_. 
+
+I am working [MathHub](/systems/mathhub), a hub of mathematical knowledge, and related projects within the group.
 
 In my free time I like to code and make random tweets. 
+
+### Contact
+
+Email: firstname + “.” + lastname + “@” + "fau.de"
+
+#### Theses
+* B.Sc: [Semantic Search For Quantity Expressions](https://gl.kwarc.info/supervision/BSc-archive/blob/master/2015/wiesing_tom/project/thesis/thesis.pdf)
+* M.Sc: [Enabling Cross-System Communication Using Virtual Theories and QMT](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/twiesing/thesis.pdf)