Zoltán Micskei

About

I'm a tenured associate professor leading the Critical Systems Research Group.
Our group develops new methods and tools to help engineers create more reliable software systems.

Associate Professor, PhD

Budapest University of Technology and Economics (BME)
Faculty of Electrical Engineering and Informatics (VIK)
Department of Artificial Intelligence and Systems Engineering (MIT)
Critical Systems Research Group (ftsrg)

Bio: Zoltán Micskei received the MSc and PhD degree in software engineering from the Budapest University of Technology and Economics in 2005 and 2013. He is currently an associate professor at the same university, leading the Critical Systems Research Group. His research interests include software testing and model-based engineering with a focus on empirical studies. He was the site leader at his university of the H2020 ADVANCE and ITEA3 EMBrACE projects. He served as the general co-chair for DISC’19, as a PC member for various international conferences (ER, ICTSS, HASE...), and as an external reviewer for international journals. He was a visiting researcher at LAAS-CNRS, Toulouse. He published his results in leading venues (TSE, STVR, SoSyM, IST, ICST...). A publication he co-authored won the Most Influential Regular Paper award for the SoSyM journal in 2021. He received the Kalmár Award from NJSZT in 2021. He is member of the Hungarian Young Academy, and a Senior Member of ACM.

Resume

Summary

Zoltán Micskei

H-1117 Budapest, Magyar tudósok körútja 2., Building I, Room B.419.
+ 36 1 463-3594
micskei.zoltan AT vik.bme.hu

Education

Doctor of Philosophy (PhD)

2005 - 2008

Budapest University of Technology and Economics

Dissertation: “Languages and frameworks for specifying test artifacts”, 2013

Master of Science (MSc) (with honor)

2000 - 2005

Budapest University of Technology and Economics

Software Engineering program, Fault-tolerant Systems specialization

Professional Experience

Associate Professor

2017 - Present

Deputy Head of the Dept. of Artificial Intelligence and Systems Engineering (MIT) (2022-)
Leader of the Critical Systems Research Group (2019-)
Coordinator of the Systems Engineering Specialization (BSc) (2018-)

Assistant professor

2013 - 2017

Leading and teaching several BSc and MSc level courses
Working on software testing and verification related research projects

Lecturer

2009 - 2013

Teaching broad spectrum of undergraduate and graduate courses
Working on EU research projects (HIDENETS, RESIST)

Awards

Member (2022)

Hungarian Young Academy

The Academy elects 12 members every year under the age of 40 based on scientific excellence.

SoSyM 10-year Most Influential Regular Paper

10-year Most Influential Regular Paper (2021)

Software and Systems Modeling

Each year the Editors-in-Chiefs announce an award for one regular paper, which had the most influence within the last ten years.

Kalmár Award (2021)

John von Neumann Computer Society (NJSZT))

With the Kalmár Award, NJSZT recognizes 2-3 professionals from its 2000 members each year who have achieved excellent results in the application of computer science.

Senior Member (2021)

Association for Computing Machinery (ACM)

The Senior Members Grade recognizes those ACM members, who have demonstrated performance through technical leadership, and technical or professional contributions.

Excellent Young Instructor of the Faculty Award

Excellent Young Instructor of the Faculty (2016)

Student Council of the Faculty

Each year the 5000+ students of the Faculty vote for the best instructor among the 200+ faculty members in two categories.

Research areas and tools

My main area is software and systems engineering, specializing in software testing and model-based engineering.
My goal is to produce advanced, but practical testing and verification tools.
I favor empirical research methods and open science principles.

Modeling languages

Testing the semantics of modelling languages (SQJ'23); Semantics of UML 2 Sequence Diagrams [SoSyM'11]

Test generation

Generating software tests based on models (MBT) or based on code

Test oracles

Studying oracles for generated white-box tests [SQJ'19]

Testing autonomous systems

Scenario-based evaluation of autonomous/ADAS systems [MODELS'19]

Software testing tools

AutoIsolator (isolating dependencies for test generation [IST'20]); SETTE (evaluating test generators [STVR'17); SEViz (visualizing symbolic execution [ICST'15 Tool])