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
Expertise
SMT
2016 – Present
SAT
2008 – Present
QBF
2010 – 2025
Publications
Co-Authors
- Alessandro Previti
- Alexey Ignatiev
- Andrew Reynolds
- Anton Belov
- António Morgado
- Bartosz Piotrowski
- Carlos Mencía
- Chad E. Brown
- Choiwah Chow
- David Mojzísek
- David Mojžíšek
- Dermot Cochran
- Edmund M. Clarke
- Federico Heras
- Filipe Marques
- Fintan Fairmichael
- Florian Lonsing
- Goetz Botterweck
- Haniel Barbosa
- Huan Chen
- Inês Lynce
- Jan Hula
- Jan Jakubuv
- Jelle Piepenbrock
- Jie-Hong Roland Jiang