Toggle menu
+351213100300
info@inesc-id.pt
Research
Research Areas
Thematic Lines
Projects
Publications
Supervisions
People
Integrated Researchers
Early Stage Researchers
All Researchers
News & Events
News
Events
Awards
Interviews
Newsletter
Open Positions
Open Positions
About Us
About Us
Organization
Institutional Documents
Intelectual Property
Spin-Offs
Contacts
Home
Home
>
Nuno Lopes receives HiPEAC Tech Transfer Award 2022
Mikolas Janota
Unit
Automated Reasoning and Software Reliability (ARSR)
Role
External Collaborator
Degree
Doutoramento
ResearcherID
A-7701-2012
ORCID
https://orcid.org/0000-0003-3487-784X
Phone
2341 (Portugal +351)
Extension
2341
Room
328B
Email
mikolas.janota(at)inesc-id.pt
Personal Page
http://sat.inesc-id.pt/~mikolas/
});