MathWebSearch Development Team

The project was started by  Ioan Sucan as his bachelor's thesis under the supervision of  Michael Kohlhase. Since then, the team has grown, it currently consists of

•  Michael Kohlhase (Jacobs University Bremen) is the overall project leader
• Corneliu Prodescu (Jacobs University) has re-implemented the core system and is currently working on further developments
•  Deyan Ginev (Jacobs University) is interested for crawling and querying LaTeX sources, in particular  PlanetMath and the  arXiv.
• Stefan Mirea (Jacobs University) will be our new web developer

We can always use more help (for topics see the  MWS tracker). To join the team, just contact  Michael Kohlhase.

Former MathWebSearch Developers

•  Alberto Gonzales Palomo (Matracas) has worked on the web interface
•  Constantin Jucovschi (Jacobs University Bremen) has worked on the indexer and on integration into Math IDEs
• Darko Pesikan
•  Ioan Sucan (now Rice University) made the first systems
•  Mihai Sucan contributed the browser plugin for MWS
•  Stefan Anca worked on appliccable theorem search and the text/formula search combination.