Mikolas Janota

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDExternal Collaborator
DegreeDoutoramento
ResearcherIDA-7701-2012
ORCIDhttps://orcid.org/0000-0003-3487-784X

Contacts

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