I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Assistant Professor

Oszkár Semeráth

PhD

H-1117 Budapest, Magyar tudósok krt. 2. I. ép. IB417.

+3614633586

semerath@mit.bme.hu

Publications

-Semeráth, Nagy, Varró: A Graph Solver for the Automated Generation of Consistent Domain-Specific Models. International Conference on Software Engineering, 2018.

-Semeráth, Barta, Horváth, Szatmári, Varró: Formal Validation of Domain-Specific Languages ​​with Derived Features and Well-Formedness Constraints. Software and System Modeling, 2017.

-Semeráth, Varró: Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. Fundamental Approaches to Software Engineering, 2018.

-Semeráth, Varró: Graph Constraint Evaluation over Partial Models by Constraint Rewriting. International Conference on Model Transformation, 2017. 

-[5] Marussy, Semeráth, Varró: Automated Generation of Consistent Graph Models with Multiplicity Reasoning. IEEE Transactions on Software Engineering, 2021.

Awards

ACM/IEEE Best paper award,
3×New National Excellence Awards,
2×Laszlo Schnell Publication Award
Josef Heim Innovation Award
Young Researcher Award of the Hungarian Academy of Science
Amazon Research Award

Projects

Graph Generation as a Service, 2022, co-PI, Amazon Research

VKE Development of Distributed Safety Railway Subsystem, 20

20, research assistant, NKFI

FIKP/TKP, research assistant, 2017, NKFI

MTA-BME LENDÜLET Cyber ​​Physical Research Group. 2015-20, research assistant, 

Hungarian Academy of Sciences

Conferences

Conference presentations in Eindhoven (Netherlands),
 Saint-Malo (France), 
Marburg (Germany),
Gothenburg (Sweden), 
Thessaloniki (Greece), 
Montreal (Canada)