people/clange.md

+---
+layout: person
+
+title: Christoph Lange
+fullname: Dr. Christoph Lange
+pic: public/images/clange.jpg
+
+role: phd-student
+start_date: 2008-07
+end_date: 2012-08
+
+publink: auto
+
+website: https://langec.wordpress.com/about/
+affiliation: Enterprise Information Systems, Fraunhofer IAIS Bonn
+---
+
+### Thesis Title
+Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration

people/cmueller.md

+---
+layout: person
+
+title: Christine Müller
+fullname: Dr. Christine Müller
+pic: public/images/cmueller.jpg
+
+role: phd-student
+start_date: 2006-09
+end_date: 2010-05
+
+affiliation: ti&m Frankfurt
+
+publink: auto
+---
+
+### Description
+In May 2010 I have received my PhD in computer science at the Jacobs University.
+
+### Thesis Title
+Adaptation of Mathematical Documents
\ No newline at end of file

people/cprodescu.md

+---
+layout: person
+
+title: Corneliu Claudiu Prodescu 
+fullname: M.Sc. Corneliu Prodescu
+
+role: master-student
+pic: public/images/cprodescu.png
+start_date: 2008-09
+end_date: 2014-08
+
+publink: auto
+
+affiliation: Twitter
+---
+
+### Thesis Title
+Text and Formula Search on arXiv Documents

people/cshi.md

+---
+layout: person
+
+title: Chenwei Shi
+fullname: Dr. Chenwei Shi
+pic: public/images/cshi.jpg
+
+role: postdoc
+start_date: 2018-11
+end_date: 2018-04
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+website: https://shechangesway.github.io/Chenwei-Shi/
+---
+
+### Contact
+Email: "chenwei." + mylastname + "@" + "fau.de"
+
+

people/dginev.md

+---
+layout: person
+
+title: Deyan Ginev
+fullname: M.Sc. Deyan Ginev
+pic: public/images/dginev.jpeg
+
+role: phd-student
+start_date: 2007-02
+
+publink: auto
+
+website: http://prodg.org
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---
+
+I am currently a consultant for NIST's [DLMF](https://dlmf.nist.gov/) project, and a co-developer of [LaTeXML](https://github.com/brucemiller/LaTeXML/) alongside Dr. Bruce Miller. My main focus is to enhance the representation of mathematical expressions in DLMF, improving their accessibility, computational semantics, and enabling further reuse in a broader class of applications.
+
+### Contact
+Email: dginev@kwarc.info
+
+Twitter: [@dginev](https://twitter.com/dginev)
+
+### Abridged Bio
+
+Bulgarian 🇧🇬
+
+I was a student at KWARC between 2007-2011, under Prof. Dr. Michael Kohlhase. I completed my MSc in 2011, at Jacobs University Bremen. Since then I have been enrolled as a PhD student, now at FAU Erlangen-Nürnberg.
+
+In 2012, I first visited the United States as a guest researcher at NIST's Gaithersburg campus. I had a chance to do three of those visits until 2014.
+
+I spent 2014-2017 as the first hire of [Authorea](https://www.authorea.com/) in New York. The three years as a "full stack developer" at a startup were a triple espresso of realism. Authorea has since been acquired by the Wiley publishing company. I learned a great deal!
+
+In 2018, I returned to my work with LaTeXML, which is what I continue to date. We have made great strides in some regards, notably the recent announcement of [the ar5iv project](https://twitter.com/dginev/status/1488157927001268231) and its subsequent adoption as an [arXiv Lab](https://blog.arxiv.org/2022/02/21/arxiv-articles-as-responsive-web-pages/) at Cornell. I am happy to now also be a registered volunteer contributor with Cornell University, as the "virtual head" of the ar5iv Lab.
+
+In 2021, I joined the [W3C Math](https://www.w3.org/Math/) working group, as a NIST-endorsed independent expert.
+
+My PhD journey is now spanning two continents and over a decade. In 2022, I am in the final write-up phase for completing the degree with Michael.
+
+At present, I reside in New York City, next to the campus of Rockefeller University. I can see the arXiv office at Cornell Tech from my window, which was a completely unplanned - yet delightful! - accident of life.

people/dmueller.md

+---
+layout: person
+
+title: Dennis Müller
+fullname: Dr. Dennis Müller
+pic: public/images/dmueller.jpg
+
+role: postdoc
+start_date: 2015-04
+
+publink: auto
+github: Jazzpirate
+orcid: 0000-0002-4482-4912
+mathhub: jazzpirate
+researchgate: Dennis-Mueller-9
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---
+### Description
+PostDoc (Thesis 10/2019:
+[Mathematical Knowledge Management Across Formal Libraries](https://kwarc.info/people/dmueller/pubs/thesis.pdf))
+
+B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from
+University Freiburg.
+
+Primarily interested in mathematical knowledge management across systems, libraries,
+foundations and degrees of formality (flexiformal mathematics). 
+Interested in foundations of mathematics and formal languages.
+
+
+### Contact
+Email: "d." + lastname.replace("ü","ue") + "@" + this.domain

people/fhorozal.md

+---
+layout: person
+
+title: Fulya Horozal
+fullname: Dr. Fulya Horozal
+pic: public/images/fhorozal.jpg
+
+role: phd-student
+start_date: 2010-05
+end_date: 2014-12
+
+publink: auto
+---
+
+### Ph.D. Thesis
+[Framework for Defining Declarative Languages](https://opus.jacobs-university.de/frontdoor/index/index/docId/495)
+December 2014. 

people/fihorozal.md

+---
+layout: person
+
+title: Figen Fusun Horozal
+fullname: M.Sc. Figen Fusun Horozal
+
+role: master-student
+start_date: 2009-09
+end_date: 2012-02
+---
+
+### Thesis Title
+Management of Change in OWL Ontologies

people/frabe.md

+---
+layout: person
+
+title: Florian Rabe
+fullname: Prof. Dr. Florian Rabe
+pic: public/images/frabe.jpg
+
+role: faculty
+start_date: 2005-09
+
+publink: auto
+
+affiliation: FAU Erlangen-Nuremberg
+---
\ No newline at end of file

people/gschoenberger.md

+---
+layout: person
+
+title: Gabriele Schoenberger
+fullname: Gabriele Schoenberger
+pic: public/images/gschoenberger.jpg
+
+role: support-staff
+start_date: 2017-03
+end_date: 2024-12
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+---
+

people/hstamerjohanns.md

+---
+layout: person
+
+title: Heinrich Stamerjohanns
+fullname: Dr. Heinrich Stamerjohanns
+pic: public/images/hstamerjohanns.jpg
+
+role: postdoc
+start_date: 2005-09
+end_date: 2014-03
+
+website: http://www.eecs.jacobs-university.de/wiki/index.php/Heinrich_Stamerjohanns
+---

people/inormann.md

+---
+layout: person
+
+title: Immanuel Normann
+fullname: Dr. Immanuel Normann
+pic: public/images/inormann.jpg
+
+role: phd-student
+start_date: 2004-01
+end_date: 2008-12
+
+affiliation: Pagina GmbH
+---
+
+### Description
+Immanuel Normann was a Ph.D. student at KWARC. 
+
+### Thesis Title
+Automated Theory Interpretation
\ No newline at end of file

people/isucan.md

+---
+layout: person
+
+title: Ioan Alexandru Sucan
+fullname: Ioan Alexandru Sucan 
+
+role: bachelor-student
+pic: public/images/isucan.jpg
+start_date: 2006-09
+end_date: 2008-08
+
+affiliation: Waymo
+---
+
+### Thesis Title
+[ A Search Engine for Mathematical Formulae](http://ioan.sucan.ro/files/pubs/bsthesis.pdf)

people/itoloaca.md

+---
+layout: person
+
+title: Ion Toloaca
+fullname: Ion Toloaca
+
+role: bachelor-student
+pic: public/images/itoloaca.jpg
+start_date: 2014-03
+end_date: 2016-06
+
+affiliation: Facebook
+---
+### Thesis Title:
+
+MathSemantifier - A Notation-Based Semantification Study

people/jbetzendahl.md

+---
+layout: person
+
+title: Jonas Betzendahl
+fullname: M.Sc. Jonas Betzendahl
+pic: public/images/jbetzendahl.jpg
+
+orcid: 0000-0001-6659-5308
+github: lambdatotoro
+researchgate: Jonas_Betzendahl
+dblp: b/Betzendahl:Jonas
+publink: auto
+
+role: phd-student
+start_date: 2016-08
+---
+
+### Description
+Hi, my name is Jonas Betzendahl, I use all pronouns, and I'm a PhD Student at KWARC.
+
+I finished my Master's degree at Bielefeld University with a thesis at KWARC about the transportation of the standard mathematics library of the IMPS theorem prover into OMDOC format and everything associated. You can find it [here](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2018/jbetzendahl/thesis_imps2omdoc.pdf).
+
+My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES) in Haskell. It's available [here](https://gl.kwarc.info/supervision/BSc-archive/blob/master/2014/betzendahl_jonas/jbetzend_implementing_icores.pdf). 
+
+I'm interested in teaching, logic, theorem proving, type theory and (formal) mathematics. My PhD research is concerned with the learner management side of the [ALeA](https://courses.voll-ki.fau.de/) system.
+
+If you want to contact me, my email address is: _myFirstName_._myLastName_@fau.de

people/jfschaefer.md

+---
+layout: person
+title: Jan Frederik Schaefer
+fullname: M.Sc. Jan Frederik Schaefer 
+role: phd-student
+pic: public/images/jfschaefer.jpg
+github: jfschaefer
+researchgate: Jan_Frederik_Schaefer2
+orcid: 0000-0003-2545-4626
+publink: auto
+start_date: 2014-03
+---
+I completed my undergraduate studies at [Jacobs University](https://www.jacobs-university.de/).
+After working as a backend software engineer for Skype in Prague, Czech Republic,
+I returned to university to pursue a master's degree and now a PhD at [FAU](https://www.fau.de/),
+following the KWARC research group's relocation to South Germany.
+
+My research interest is in the area of math linguistics, i.e. processing and understanding the language of mathematical/technical documents.
+Mathematical language differs from natural language in several ways (formulas, introducing new words on the go, high precision, etc.), making it a very fascinating topic.
+
+
+Email: `fullname.replace(" ", ".") + "@" + "fau.de"`

people/jschihada.md

+---
+layout: person
+
+title: John Schihada
+fullname: B.Sc. John Schihada
+pic: public/images/jschihada.png
+
+start_date: 2019-10 
+start_date: 2021-11 
+role: master-student
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+NOpublink: auto
+
+NOwebsite:
+---
+### Description  
+
+I am a master student at [FAU Erlangen-Nürnberg](http://www.fau.de). Currently I am working on my master's thesis at the [KWARC group](http://kwarc.info). Additionally I'm a working student at codemanufaktur GmbH with focus on backend development.
+
+In 2018 I completed my undergraduate studies at [OTH Regensburg](http://www.oth-regensburg.de). I wrote my bachelor thesis with the topic "Prototypical implementation of diagnostic functionalities on a communication module" at BSH Hausgeräte GmbH. In 2019 I started my project module on the [FrameIT](http://uframeit.github.io) topic, which ignited my passion for game development and knowledge management.
+
+### Current Work
+
+In the last month the UFrameIT-Team made great improvements in generalizing the Framework and exploiting potentials of the underlying method. In my master's thesis I want to continue at that point.
+
+### Contact
+
+Feel free to contact me at john.schihada@fau.de.

people/jsee.md

+---
+layout: person
+
+title: Johannes-Sebastian See 
+fullname: Johannes-Sebastian See 
+pic: public/images/jsee.jpg
+
+role: bachelor-student
+start_date: 2018-02
+end_date: 2019-09
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+NOwebsite: http://blog.logicalphalluses.net/
+---
+### Description
+Hi, my name is Johannes-Sebastian See and I am a Computer Science student at the Friedrich-Alexander Universität Erlangen-Nürnberg.
+
+I am currently working on my Bachelor Thesis. That means I try to rebuild MathHub using React.
+
+### Contact
+Email: johannes-sebastian.see@fau.de

people/jvittinghoff.md

+---
+layout: person
+
+title: Johanna Vittinghoff
+fullname: Johanna Vittinghoff
+pic: 
+picwidth: 218
+
+role: support-staff
+start_date: 2017-03
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+---
+
+### Description
+
+Johanna Vittinghoff works as IT system administrator for the chair of Knowledge Representation/Processing and for the Chair of Theoretical Computer Science at FAU Erlangen-Nürnberg since 03/2017.
+
+Responsible for: Organisation, planning, purchasing, coordination, IT security and alignment of the IT infrastructure based on VMWARE; projects and services provision on different server systems; 
+
+### Contact: 
+
+Office: Martensstraße 3. 91058 Erlangen, room 11.154, johanna.vittinghoff [at] fau . de
+
+---
+
+IT Security Officer / IT Manager / Administrator / Postmaster

people/kamann.md

+---
+layout: person
+
+title: Kai Amann
+fullname: B.Sc. Kai Amann
+pic: public/images/kamann.jpg
+
+role: master-student
+start_date: 2018-02
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---
+
+### Description
+Hi, my name is Kai Amann and I'm a Computer Science student at the Friedrich-Alexander Universität Erlangen-Nürnberg.
+
+My Bachelor Thesis was focused on the field of active documents, more specifically on integrating [MMT](https://uniformal.github.io/) into interactive [Jupyter](http://jupyter.org/) Notebooks.
+
+Currently I'm working on the scientific communication infrastucture [WissKi](https://wiss-ki.eu/). As of now WissKIs are fairly isolated *islands* of knowledge, which leads to fragmentation of the research community and to duplication of work. To alleviate these problems I'm currently working on a infrastructure to allow WissKIs to share their data with each other and bring us a step closer towards a *WissKI Commons*.
+
+### Contact
+Email: firstname + "." + lastname + "@" + "fau.de"