Mikolas Janota
General Info
Group | Automated Reasoning and Software Reliability (ARSR) |
Role in INESC-ID | Researcher |
Degree | Doutoramento |
ResearcherID | A-7701-2012 |
ORCID | 0000-0003-3487-784X |
Contacts
Phone | 2341 (Portugal +351) |
Extension | 2341 |
Room | 328B |
mikolas.janota(at)gmail.com | |
  | |
Personal Page | http://sat.inesc-id.pt/~mikolas/ |