Mikolas Janota

General Info

Research GroupSW Algorithms and Tools for Constraint Solving (SAT)
Action LineEmbedded Electronic Systems (EES)
Role in INESC-IDInvestigador Sénior
DegreeDoutoramento
ResearcherIDA-7701-2012
ORCID0000-0003-3487-784X

Contacts

Phone2341 (Portugal +351)
Extension2341
Room328B
Emailmikolas.janota(at)gmail.com
 
Personal Pagehttp://sat.inesc-id.pt/~mikolas/