Personal information
Verified email domains
tuwien.ac.at
Runtime Verification, Cyber-Physical Systems
Austria
Activities
Employment (6)
2020-01-12
to
present
|
Full Professor for Formal Method in Cyber-Physical Systems Engineering
(Institute of Computer Engineering)
Employment
Source:
Ezio Bartocci
2019-07-01
to
2020-11-30
|
Associate Professor
(Institute of Computer Engineering)
Employment
Source:
Ezio Bartocci
2015-12-01
to
2019-07-01
|
Tenure-track Assistant Professor
(Institute of Computer Engineering)
Employment
Source:
Ezio Bartocci
2012
to
2015
|
Universitaetsassistent (Non-tenure track Assistant Professor)
(Institute of Computer Engineering)
Employment
Source:
Ezio Bartocci
2011
to
2012
|
Research Scientist
(Computer Science)
Employment
Source:
Ezio Bartocci
2010
to
2011
|
Research Associate
(Department of Applied Math and Statistics)
Employment
Source:
Ezio Bartocci
Education and qualifications (4)
2019-04-16
to
present
|
Privatdozent/Habilitation (Venia Docendi) in Computer Science
Qualification
Source:
Ezio Bartocci
2006-01-01
to
2009-01-01
|
PhD in Complex Systems and Information Sciences
Education
Source:
Ezio Bartocci
2002-11
to
2005-04-14
|
Bioinformatics
Education
Source:
Ezio Bartocci
2002-09
|
Computer Science
Education
Source:
Ezio Bartocci
Funding (1)
2017-12
to
2020-12
|
Grant
Austrian FFG
(Vienna, AT)
Source:
Ezio Bartocci