Ioan Alexandru Sucan
menu
News
People
Former Members
Research
Formal Methods
Structural Semantics
Services, KM & Interaction
Semantization
Bibliography
Systems
Orphaned Systems
Historic Systems
Projects
Completed Projects
Courses & Theses
Overview (D)
Former Courses
Upcoming Courses
Thesis Topics & Projects
Completed Theses
Events
Hiring
Contact
Ioan Alexandru Sucan
Bachelor Student, KWARCie September 2006 - August 2008
Waymo
MWS
Thesis Title
A Search Engine for Mathematical Formulae
