people/cjucovschi.md

 ---
 layout: person
 
-title: Constantin Jucovschi
-fullname: M.Sc. Constantin Jucovschi
+title: Constantin Jucowski
+fullname: M.Sc. Constantin Jucowski
 pic: public/images/cjucovschi.jpeg
 
 role: phd-student
@@ -14,8 +14,8 @@ affiliation: Computer Science, FAU Erlangen-Nürnberg
 ---
 
 ### Description
-Constantin Jucovschi Ph.D. Student of Computer Science at FAU Erlangen supervised by
-Prof. Michael Kohlhase. 
+Constantin Jucowski, Ph.D. Student of Computer Science at FAU Erlangen supervised
+externally by Prof. Michael Kohlhase. 
 
 As of 2007 I am participating in various projects within the KWARC group, namely: SIDER:
 main developer of the xText based framework for developing semantic IDEs. NWERC 2010:

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

@@ -14,31 +14,27 @@ website: http://prodg.org
 affiliation: Computer Science, FAU Erlangen-Nürnberg
 ---
 
-### Contact
-d D@T ginev A?T jacobs DASH university D0T ДЕ (Д is a cyrillic D in case you're wondering)
+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.
 
-### Description
-I completed my [BSc](https://svn.eecs.jacobs-university.de/svn/eecs/archive/bsc-2009/dginev.pdf) in 2009, my [MSc](http://old.kwarc.info/people/dginev/publications/DeyanGinev_MScThesis.pdf) in 2011 and am currently pursuing a [PhD degree](https://svn.kwarc.info/repos/dginev/public/DeyanGinev_PhD_proposal.pdf).
+### Contact
+Email: dginev@kwarc.info
 
-My initial work was focused at the arXMLiv effort for converting the Cornell e-Print
-archive from TeX to HTML. It has since expanded to the
-[sTeX](https://github.com/KWARC/sTeX) (a semantically enriched authoring toolkit for
-LaTeX) and [LLaMaPUn](https://github.com/KWARC/LLaMaPUn) projects (NLP and Data Mining on
-STEM scientific publications).
+Twitter: [@dginev](https://twitter.com/dginev)
 
+### Abridged Bio
 
-I am a co-developer of [LaTeXML](https://github.com/brucemiller/LaTeXML), an ambitious TeX to XML converter. LaTeXML aims at being a full reimplementation of the TeX engine, supports the LaTeX/XeTeX/LuaTeX macro languages and exports to XML, (X)HTML5, and ePub. I maintain a semi-official [LaTeXML showcase](http://latexml.mathweb.org/editor), where you can see a variety of example conversions.
+Bulgarian 🇧🇬
 
-I am also the current developer and maintainer of [NNexus](https://github.com/dginev/nnexus), the auto-linker for mathematical concepts of the PlanetMath.org encyclopedia (and have been elected to serve as one of PlanetMath's executive board members).
+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.
 
-All of my research work is released as Free Libre Open Source Software, so feel invited to [follow me on GitHub](https://github.com/dginev), and to use my [CPAN distributions](https://metacpan.org/author/DGINEV).
+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!
 
-My supervisor is Prof. [Michael Kohlhase](http://kwarc.info/kohlhase), head of the [KWARC](http://kwarc.info/) research group (Knowledge Adaptation and Reasoning for Content).
+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.
 
-### Research Focus
-My primary interest lies in Mathematical Knowledge Management and Computational Semantics of Natural Language, with a focus on Underspecification and Ambiguity in the Math domain.
+In 2021, I joined the [W3C Math](https://www.w3.org/Math/) working group, as a NIST-endorsed independent expert.
 
-I am also involved in and excited by the problems of Scalable Software Architectures, Data Mining, Processing in the Large and the Semantic Web.
+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.
 
-My current work is targeting large-scale Semantic Enrichment of informal mathematical documents, based on the [arXiv](https://arxiv.org) corpus. For a more detailed view, feel free to read my [PhD Proposal](https://svn.kwarc.info/repos/dginev/public/DeyanGinev_PhD_proposal.pdf).
+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

@@ -2,17 +2,31 @@
 layout: person
 
 title: Dennis Müller
-fullname: M.Sc. Dennis Müller
+fullname: Dr. Dennis Müller
 pic: public/images/dmueller.jpg
 
-role: phd-student
+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
-website: http://blog.logicalphalluses.net/
 ---
+### 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/frabe.md

@@ -2,13 +2,13 @@
 layout: person
 
 title: Florian Rabe
-fullname: PD Dr. Florian Rabe
+fullname: Prof. Dr. Florian Rabe
 pic: public/images/frabe.jpg
 
-role: postdoc
+role: faculty
 start_date: 2005-09
 
 publink: auto
 
-affiliation: Jacobs University Bremen
+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/jbetzendahl.md

@@ -2,20 +2,26 @@
 layout: person
 
 title: Jonas Betzendahl
-fullname: B.Sc. Jonas Betzendahl
+fullname: M.Sc. Jonas Betzendahl
 pic: public/images/jbetzendahl.jpg
 
-role: master-student
-start_date: 2016-08
+orcid: 0000-0001-6659-5308
+github: lambdatotoro
+researchgate: Jonas_Betzendahl
+dblp: b/Betzendahl:Jonas
+publink: auto
 
-affiliation: University Bielefeld
+role: phd-student
+start_date: 2016-08
 ---
 
 ### Description
-Hi, my name is Jonas Betzendahl and I am finishing my Master's degree at Bielefeld University with a thesis here at KWARC.
+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 topic is the transportation of the standard mathematics library of the IMPS theorem prover into OMDOC format and everything associated.
+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 logic, theorem proving, category theory, type theory and (formal) mathematics. I hope to go on to do a PhD at KWARC in related topics.
+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.
 
-My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse Coupled Rewrite Systems (ICORES).
+If you want to contact me, my email address is: _myFirstName_._myLastName_@fau.de

people/jfschaefer.md

 ---
 layout: person
-fullname: Jan Frederik Schaefer 
-role: master-student
+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
 ---
-KWARC Master Student
+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.
 
-### Bachelor's Thesis Title:
+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.
 
-Declaration Spotting in Mathematical Documents
+
+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: technical-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"

people/kbercic.md

+---
+layout: person
+
+title: Katja Berčič
+fullname: Dr. Katja Berčič
+pic: public/images/kbercic.jpg
+
+role: postdoc
+start_date: 2018-11
+end_date: 2020-10
+
+publink: auto
+
+orcid: 0000-0002-6678-8975
+github: katjabercic
+gitlab: katjabercic
+dblp: b/Bercic:Katja
+zbmath: bercic.katja
+researchgate: Katja_Bercic
+
+
+affiliation: University of Ljubljana
+website: http://katja.not.si/
+---
+
+### Contact
+Email: firstname + "." + lastname.replace(“č”,”c”) + “@” + fau.de
+
+---
+
+I obtained my PhD in mathematics (combinatorics) at the University of Ljubljana. 
+I worked at the Josef Stefan Institute, spent one year working in the industry and
+a year on a postdoc in Mexico (back to combinatorics).
+
+Math research data has interested me for several years, but I only got a chance
+to work on it full-time at KWARC.
+
+I started a [database](https://mathdb.mathhub.info/) of (a subset of) datasets 
+in mathematics and am implementing MathDataHub with Tom Wiesing.

people/meta/README.md

@@ -11,6 +11,7 @@ Each file needs some specific parameters:
  * **title** Name of the person, doubles as the page title
  * **fullname** Full name of the person, to be used in references
  * **pic** Relative link to a picture of the person
+ * **picwidth** If provided, overrides the default picture width of `300`
  
  * **role** one of *master-student*, *bachelor-student*, *phd-student*, *postdoc*, *faculty* or *guest*
  * **start_date** (optional) a start date (YYYY-MM) 

people/meta/current.html

@@ -7,7 +7,7 @@ permalink: /people/
 {% assign people = site.pages | where: "layout", "person" | where_exp: "person",
 "person.end_date == null" | sort: "start_date" %}
 
-<p>This page lists the current members of the KWARC group (<a href="former.html">former
+<p>This page lists the current members of the KWARC group (<a href="/people/former/">former
 members</a>).</p>
 
 {% include people_list.html people=people %}

people/meta/former.html

@@ -7,7 +7,7 @@ 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="current.html">current
+<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>
 
 

people/mkamaris.md

+---
+layout: person
+
+title: Marie-Helen Kamaris
+fullname: Marie-Helen Kamaris
+
+role: support-staff
+start_date: 2025-03
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+---
+
+Teamassistenz
+
+#### Contact
+
+**E-mail:** <marie-helen.kamaris@fau.de>   
+**Telefon:** 09131 85-64057   
+**Büro:** Martensstraße 3 | 11. OG | Zimmer 11.158 | 91058 Erlangen   
+

people/mkohlhase.md

 ---
 layout: person
 
-title: Michael Kohlhase
+title: Prof. Dr. Michael Kohlhase
 fullname: Prof. Dr. Michael Kohlhase
 
+start_date: 2003-09 
 role: faculty
 pic: public/images/mkohlhase.jpg
 
-start_date: 2003-09
 orcid: 0000-0002-9859-6337
+github: kohlhase
+gitlab: mkohlhase
+mathhub: mkohlhase
+dblp: k/Kohlhase:Michael
+zbmath: kohlhase.michael
+researchgate: Michael_Kohlhase
 publink: auto
-affiliation: "Computer Science, FAU Erlangen-Nürnberg, Carnegie Mellon University"
+affiliation: "Informatik, FAU Erlangen-Nürnberg &  Computer  Science, Carnegie Mellon University"
 ---
+### 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.
+
+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>
 
-**Secretary**: Gabriele Schönberger, 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. 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).
+**Secretary**: [Marie-Helen Kamaris](../mkamaris/)
 
-**ORCID**: [0000-0002-9859-6337](http://orcid.org/0000-0002-9859-6337), **zbMATH ID**: [kohlhase.michael](https://zbmath.org/authors/?q=ai:kohlhase.michael)
 

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