Mikolas Janota (Preferred)
, Mikolás Janota
Mikolas Janota
Researcher, CTU
- Joined September 2021
Names
Emails
****@gmail.com (Confirmed)
, ****@cvut.cz (Confirmed)
Personal Links
Career & Education History
Researcher
CTU (cvut.cz)
2021 – Present
Assistant Professor
Instituto Superior Técnico (tecnico.ulisboa.pt)
2017 – 2021
Advisors, Relations & Conflicts
PhD Advisor
Joseph Kiniry
2006 – 2010
Expertise
SMT
2016 – Present
SAT
2008 – Present
QBF
2010 – 2025