Dejan Nickovic (Preferred)
Dejan Nickovic
Institute of Science and Technology Austria
- Joined May 2021
Names
Emails
****@ait.ac.at (Confirmed)
Personal Links
Education & Career History
Postdoc
Institute of Science and Technology Austria (ist.ac.at)
2009 – 2011
Postdoc
Swiss Federal Institute of Technology Lausanne (epfl.ch)
2008 – 2009
PhD student
University of Grenoble-Alpes (univ-grenoble-alpes.fr)
2004 – 2008
Undergrad student
University of Malta (um.edu.mt)
1999 – 2003
Advisors, Relations & Conflicts
PhD Advisee
Eleonora Nesterini
2021 – 2021
Coauthor
Thao Dang
2020 – 2021
Coauthor
Nicolas Basset
2020 – 2021
Coauthor
Ana Oliveira de Costa
2019 – 2021
Coauthor
Tomoya Yamaguchi
2018 – 2021
Coauthor
Roderick Bloem
2018 – 2021
PhD Advisee
Niveditha Manjunath
2017 – 2021
Coworker
Cristinel Mateis
2016 – 2021
Coauthor
Thomas Ferrere
2015 – 2021
Coauthor
Dogan Ulus
2015 – 2021
Coauthor
Jim Kapinsky
2015 – 2019
PhD Advisee
Stefan Jaksic
2014 – 2018
PhD Advisor
Oded Maler
2004 – 2008
Expertise
machine learning
2018 – 2021
fault explanation
2015 – 2021
interface theories
2009 – 2021
contract-based design
2008 – 2021
formal methods
2004 – 2021
verification
2004 – 2021
formal specification
2004 – 2021
runtime verification
2004 – 2021
cyber-physical systems
2004 – 2021