Mikoláš Janota

ORCID iD
https://orcid.org/0000-0003-3487-784X
  • Country
  • Show details Hide details
Portugal

Sources:
Mikoláš Janota (2016-01-24)

  • Keywords
  • Show details Hide details
SAT, Quantification, Formal Methods, Proof Theory

Sources:
Mikoláš Janota (2013-12-01)

  • Websites
  • Show details Hide details
Homepage

Sources:
Mikoláš Janota (2014-07-20)

  • Other IDs
  • Show details Hide details
ResearcherID: A-7701-2012

Sources:
ResearcherID (2013-09-09)

Scopus Author ID: 23485687000

Sources:
Scopus - Elsevier (2013-12-01)

Biography

2017-present, Assistant Professor, IST, Portugal 2016-2017, Visiting Assistant Professor, FCUL, Portugal 2015-2016, Postdoc at Microsoft Research, UK 2013-2015, Researcher at INESC-ID. 2010-2013, Postdoc at INESC-ID, Portugal. 2006-2010, PhD candidate at UCD, Ireland 1999-2005, MSc student at Charles University, Czech Republic

Record last modified {{lastModifiedDate}}