Compare revisions

638ce3bc · 638ce3bc · 638ce3bc · 638ce3bc · 638ce3bc · 638ce3bc
--- a/hiring/oaf-phd.md
+++ b/hiring/oaf-phd.md
+---
+layout: jobad
+title: OAF Ph.D. Student (formalization of theorem prover logics/libraries)
+posted: 2017-06-21
+status: open
+requirements: M.Sc (or equivalent), interest in logics/theorem proving
+---
+We are looking for a Ph.D. student in the [OAF Project](/projects/oaf/). Similar projects
+are in the pipeline; funding for the whole Ph.D. project is ensured.
+
+Candidates interested in the positions should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de
+ 
--- a/hiring/odk-phd.md
+++ b/hiring/odk-phd.md
+---
+layout: jobad
+title: OpenDreamKit Ph.D. Student/PostDoc (Math Modeling for Math System Integration)
+posted: 2017-06-21
+status: open
+requirements: M.Sc (or equivalent) and an interest in mathematics, computation, and system integration.
+---
+We are looking for a Ph.D. student or a PostDoc in the
+[OpenDreamKit Project](/projects/odk/) positions can be half- or full-time. 
+
+Similar projectsare in the pipeline; funding for the whole Ph.D. project is ensured.
+
+Candidates interested in the positions should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de
+ 
--- a/hiring/web-frontend-dev.md
+++ b/hiring/web-frontend-dev.md
+---
+layout: jobad
+title: Web Frontend Developer (student)
+posted: 2018-03-22
+status: open
+requirements: experience or interest in HTML, CSS, JavaScript frameworks like jQuery and angular.js 
+---
+We are looking for a Web front-end developer (HTML, CSS, JS) for  the [MathHub.info](http://mathhub.info) system. 
--- a/index.md
+++ b/index.md
@@ -5,24 +5,42 @@ title: Home

 The ability to *represent knowledge about the world* and to *draw logical inferences* is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.

+#### Research
+
 The KWARC research group conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. 
 We extend techniques from [formal methods](http://kwarc.info/semantics.html#fm) so that they can be used in settings where formalization is either infeasible or too costly. 
 We concentrate on developing techniques for marking up the [structural semantics](http://kwarc.info/semantics.html#ssem) in technical documents. 
 This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents.

-    
-
-## Recent News ([see all](/news/))
+##### Approach: Corpus-based Meta-Mathematics
+In this title we have three components that warrant explanation: 
+1. **Mathematics**: we use the  mathematical knowledge and mathematical documents as a test
+  tube for our research as the knowledge and document structures are quite explicit and
+  overt and the content of mathematics is well-understood. Anything that has the same
+  properties we consider to be "mathematics" as well. 
+2. **Meta**: we develop Meta-Artefacts, i.e. we
+   * design **representation languages** (logics) that allow to talk *about* mathematical objects,
+   their properties, and relations,
+   * invent **algorithms** that analyze and transform these representations, and
+   * implement them in **end-user systems** that utilize both. 
+3. **Corpus-based**: we do this as a natural science by looking at data (i.e. corpora of
+documents and formalizations).
+
+##### KWARC Process
+We approach Corpus-Based Meta-Mathematics (iteratively) in three steps:
+1. **Analysis**: we analyze the corpora for patterns and structures.
+2. **Synthesis**: we design and build meta-artefacts (languages, algorithms, and systems)
+and derive data sets from the corpora.
+3. **Experimentation**: we evaluate the representation languages and algorithms on the
+   corpora and the systems on end users (mathematicians).
+
+#### Recent News ([see all](/news/))
 
 <ul class="collection">
    {% for post in site.posts limit:5 %}
-        {% include post_link.html %}
+        {% include post_link.html post=post %}
    {% endfor %}
 </ul>

-<p>&copy; {{ site.time | date: '%Y' }}. All rights reserved.</p>
-
-
-
-
-
+<!--  LocalWords:  endfor analyze
+ -->
--- a/news/index.html
+++ b/news/index.html
@@ -7,9 +7,9 @@ source: _posts/
 <div class="posts">
    <ul class="collection">
        {% for post in paginator.posts %}
-            {% include post_link.html %}
+            {% include post_link.html post=post %}
        {% endfor %}
    </ul>
 </div>

-{% include pagination.html %}
\ No newline at end of file
+{% include pagination.html paginator=paginator %}
\ No newline at end of file
--- a/people/achugh.md
+++ b/people/achugh.md
+---
+layout: person
+
+title: Abhishek Chugh
+fullname: M.Sc. Abhishek Chugh
+pic: public/images/abchugh.png
+
+role: Research Engineer
+start_date: 2022-05
+
+publink: https://linkedin.com/in/abhishekchugh
+
+website: https://sophize.org
+affiliation: Sophize Foundation
+---
+
+### Description
+
+I am a software engineer and has worked on products such as Adobe Illustrator, Google Maps and Google Pay. I am passionate about organizing knowledge from different perspectives in a way that allows readers to effortlessly see all kinds of justifications for and against any claim. To further this goal, I started Sophize Foundation, a non-profit that is currently working towards building an open state-of-the-art [Mathematics library](https://sophize.org).
+
+### Research Focus
+
+As a KWARCie, I am very excited to help build systems and interfaces that will generate and present educational material tailored to each learner's specific needs.
--- a/people/ahambasan.md
+++ b/people/ahambasan.md
+---
+layout: person
+
+title: Alexandru Hambasan
+fullname: Alexandru Hambasan
+
+role: bachelor-student
+pic: public/images/ahambasan.jpeg
+start_date: 2017-03
+end_date: 2018-01
+
+affiliation: Jacobs Unviersity Bremen
+---
+working on MathWebSearch
--- a/people/akohlhase.md
+++ b/people/akohlhase.md
 ---
 layout: person
+
 title: Andrea Kohlhase
 fullname: Prof. Dr. Andrea Kohlhase
-role: postdoc
 pic: public/images/akohlhase.jpg
+
+role: postdoc
 start_date: 2005-12
 end_date: 2014-08
+
+dblp: k/Kohlhase:Andrea
+researchgate: Andrea_Kohlhase2
+github: akohlhase
+mathhub: akohlhase
+zbmath: kohlhase.andrea
+publink: auto
+orcid: 0000-0001-5384-6702
+
+affiliation: Hochschule Neu-Ulm
+website: https://www.hs-neu-ulm.de/andrea-kohlhase/
 ---
-### Description

+### Description
 After having been associated with the KWARC research group at Jacobs University Bremen
 under guidance of Prof.Dr. Michael Kohlhase (I know the name coincidence is amazing ...)
 for a couple of years, since July 2011 I'm actually a working member of the group. Before
@@ -20,6 +33,7 @@ I am still very fond of my previous research group [dimeb](http://www.dimeb.de)
 (Digital Media in Education) at the University of Bremen under guidance of Prof. Dr. Heidi
 Schelhowe.

+### Research Focus
 My research interest lies in the intersection between the fields of "Semantic
 Web" and "Human-Computer-Interaction", especially Interaction Design for semantic data
 ("Semantic Interaction Design"), with a focus on educational environments. I have
@@ -39,7 +53,3 @@ spreadsheet players like MS Excel.

 At the end of last year I started to make use of Kelly's Repertory Grid Technique. The
 example data set for the MathUI'13 paper you can find [here](http://www.kwarc.info/ako/ProcrustesAnalysis).
-
-### Current Affiliation
-Hochschule Neu-Ulm [Current Home Page](https://www.hs-neu-ulm.de/andrea-kohlhase/)
-
--- a/people/aschmidt.md
+++ b/people/aschmidt.md
+---
+layout: person
+
+title: Annika Schmidt
+fullname: B.Sc. Annika Schmidt
+pic: public/images/aschmidt.png
+
+start_date: 2020-10
+end_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 thesis at the [KWARC group](http://kwarc.info) and got employed there as a Hiwi to help with the AI-1 lecture.
+
+In 2015 I started studying Computer Science at [FAU Erlangen-Nürnberg](http://www.fau.de). While finishing my bachelor's degree I visited some master courses. My main interests are optimization and artificial intelligence. Also, I am very interested in knowledge management and gaining new knowledge.
+
+### Current Work
+
+My master thesis is about the formalization of set theory in [KWARC's MMT system](https://kwarc.info/systems/mmt/). To achieve this goal I use some old formalizations of set theory in Twelf. Since I just started the exact course of my master thesis is still unclarified.
+
+My work as a Hiwi mostly consists of cutting old lecture videos to make online lectures more attractive for students. Also, I give advice and help to come up with good questions for the students.
+
+### Contact
+
+Feel free to contact me at annika.as.schmidt@fau.de.
--- a/people/blaubner.md
+++ b/people/blaubner.md
 ---
 layout: person
+
 title: Bastian Laubner
-fullname: Bastian Laubner
+fullname: M.Sc. Bastian Laubner
+
 role: master-student
 start_date: 2005-09
 end_date: 2007-08
 ---

-### Research Focus:
+### Research Focus
 My interests are in the fields of logic, graph theory, computation theory, and the design of algorithms.

- 
- ### Thesis Title:
- Mapping Mathematics with Theory Graphs A Case Study and a Prototype
+### Thesis Title
+Mapping Mathematics with Theory Graphs A Case Study and a Prototype
\ No newline at end of file
--- a/people/cdavid.md
+++ b/people/cdavid.md
 ---
 layout: person
+
 title: Catalin David
-fullname: Catalin David
-role: master-student
+fullname: M.Sc. Catalin David
 pic: public/images/cdavid.jpeg
+
+role: master-student
 start_date: 2008-09
 end_date: 2012-02
+
+publink: auto
 ---

 ### Description
-
 I have graduated in June 2012 with a thesis within the SiSsi project, regarding the
 software framework behind the project: Semantic Alliance Framework: Integrating Documents
 and Semantic Services.
@@ -19,10 +22,9 @@ My work has started with projects regarding knowledge representation and underst
 mainly, user interaction and user experience in the field of semantic data (JOBAD and
 Planetary). Lately I have also had an interest in bridging the gap between desktop and web
 systems, bringing semantic web concepts in everyday desktop software (SiSsi).
-
 
-### Research Focus:
+### Research Focus
 I am interested in representation of mathematics on the Internet, as well as User Interaction (UI) and eXperience (UX).
-	
-###Thesis Title:
+    
+### Thesis Title
 Semantic Alliance Framework: Integrating Documents and Semantic Service 
--- a/people/cjucovschi.md
+++ b/people/cjucovschi.md
 ---
 layout: person
-title: Constantin Jucovschi
-fullname: Constantin Jucovschi
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: cjucovschi
-role: phd-student
+
+title: Constantin Jucowski
+fullname: M.Sc. Constantin Jucowski
 pic: public/images/cjucovschi.jpeg
+
+role: phd-student
 start_date: 2007-10
---

-### Description: 
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---

-Constantin Jucovschi Ph.D. Student of Computer Science at FAU Erlangen supervised by
-Prof. Michael Kohlhase. 
+### Description
+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:

--- a/people/clange.md
+++ b/people/clange.md
 ---
 layout: person
+
 title: Christoph Lange
 fullname: Dr. Christoph Lange
-role: phd-student
 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 
-### Current Affiliation?
-Enterprise Information Systems, Fraunhofer IAIS Bonn
-### Current Home Page
-https://langec.wordpress.com/about/
+
+### Thesis Title
+Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration
--- a/people/cmueller.md
+++ b/people/cmueller.md
 ---
 layout: person
+
 title: Christine Müller
 fullname: Dr. Christine Müller
-role: phd-student
 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:
-Thesis Title: Adaptation of Mathematical Documents
-### Current Affiliation?
-ti&m Frankfurt
+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
--- a/people/cprodescu.md
+++ b/people/cprodescu.md
 ---
 layout: person
+
 title: Corneliu Claudiu Prodescu 
-fullname: 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:
+
+### Thesis Title
 Text and Formula Search on arXiv Documents
--- a/people/cshi.md
+++ b/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"
+
+
--- a/people/dginev.md
+++ b/people/dginev.md
 ---
 layout: person
+
 title: Deyan Ginev
-fullname: Deyan Ginev
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: dginev
-role: phd-student
-start_date: 2007-02
+fullname: M.Sc. Deyan Ginev
 pic: public/images/dginev.jpeg
---
-### Contact
-d D@T ginev A?T jacobs DASH university D0T ДЕ (Д is a cyrillic D in case you're wondering)

-### 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).
-
-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).
+role: phd-student
+start_date: 2007-02

+publink: auto

-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.
+website: http://prodg.org
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---

-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 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.

-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).
+### Contact
+Email: dginev@kwarc.info

+Twitter: [@dginev](https://twitter.com/dginev)

-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).
+### Abridged Bio

+Bulgarian 🇧🇬

-### 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.
+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.

-I am also involved in and excited by the problems of Scalable Software Architectures, Data Mining, Processing in the Large and the Semantic Web.
+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.

-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).
+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.

-###non-academic professional profile
-please visit my [personal website](http://prodg.org).
+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.
--- a/people/dmueller.md
+++ b/people/dmueller.md
 ---
 layout: person
+
 title: Dennis Müller
-fullname: Dennis Müller
-affiliation: Computer Science, FAU Erlangen-Nürnberg
-account: dmueller
-role: phd-student
-start_date: 2015-04
+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
 ---
- Ph.D. Student at KWARC
+### Description
+PostDoc (Thesis 10/2019:
+[Mathematical Knowledge Management Across Formal Libraries](https://kwarc.info/people/dmueller/pubs/thesis.pdf))

-### Contact Details: 
-Email: "d." + lastname.replace("ü","ue") + "@" + this.domain
+B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from
+University Freiburg.

-[My blog](http://blog.logicalphalluses.net/)
+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
--- a/people/fhorozal.md
+++ b/people/fhorozal.md
 ---
 layout: person
+
 title: Fulya Horozal
 fullname: Dr. Fulya Horozal
-role: phd-student
 pic: public/images/fhorozal.jpg
+
+role: phd-student
 start_date: 2010-05
 end_date: 2014-12
+
+publink: auto
 ---
-### Thesis Title:
-Framework for Defining Declarative Languages 
-### Current Affiliation?
+
+### Ph.D. Thesis
+[Framework for Defining Declarative Languages](https://opus.jacobs-university.de/frontdoor/index/index/docId/495)
+December 2014. 
--- a/people/fihorozal.md
+++ b/people/fihorozal.md
 ---
 layout: person
+
 title: Figen Fusun Horozal
-fullname: Figen Fusun Horozal
+fullname: M.Sc. Figen Fusun Horozal
+
 role: master-student
 start_date: 2009-09
 end_date: 2012-02
 ---
-###Thesis Title:
+
+### Thesis Title
 Management of Change in OWL Ontologies
No results found