MathWebSearch(Kwarc), Jacobs UniversityResearch Assistant
Jan. 2016 - Dec. 2016Bremen Area, Germany• Worked on integrating new representations of mathematical content into MathWebSearch(semantically based search engine for mathematical formulae)
• Technologies: C++, JavaScript, Docker, MathML, GAP, LaTeX, ElasticSearch