<< EEMCS (EWI)
HomeNewsIn the MediaResearchEducation   » Courses   » MTV Master   » Graduate School   » BSc Projects   » MSc Projects   » Design Projects   » InternshipsPeopleEventsVacanciesInternalContact

Design Projects

This webpage holds a list of available, in progress and completed Design projects at FMT. If you are interested in carrying out a MSc assignment at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.

Available

A scalable framework for SMT/SAT solving (contact: dr. S.C.C. Blom & dr. M. Huisman)
Hoare Logic Proof Assistant (contact: dr. S.C.C. Blom & dr. M. Huisman)
Interactieve Proces Transformator (contact: prof.dr. J.C. van de Pol)