András Vörös

PhD student
A doktorandusz fényképe

Contact information

Room: 
IB421
Office: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB421
Supervisor: 
Tamás Bartha
Studies ended: 
2012

Introduction

Short CV

András Vörös is an assistant professor at the Budapest University of Technology and Economics. His main research interest is formal methods and model-driven software and systems engineering. He received a Best Software Science paper award at ETAPS 2018. He served as a PC member of FTSCS 2016 and FTSCS 2018 (http://www.ftscs.org/), and he is a reviewer of various international conferences such as MODELS, FASE, ICGT, DSN, and SRDS. He delivered a talk at the RiSE Seminar (TU Wien) and HUSTEF 2018 (Testing Techniques for Critical Deep Learning Applications). He is a lecturer of the professional course "Model-driven system development based on UML/SysML" for industrial partners.

External links: CV, Google  Scholar

Most Important Publications

Research Interests

Model-based software and systems design:

Formal verification:

Quantitative analysis:

  • Numerical algorithms for stochastic analysis
  • Optimization techniques

Complex event processing:

  • Automaton-based approaches

Machine learning:

Awards

  • 2018 Best Paper Award @ ETAPS 2018
  • 2015, 2018 Award from the vice-chancellor
  • 2012, Award for the long term advisory work at the Student Scientific Forum
  • 2012, Distinction for the advisory work

Research

Research group: 
Critical Systems Research Groups

Education

© 2010-2024 BME MIT