Mikolas Janota

General Info

Research GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDSenior Researcher
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/