Personal information
Verified email addresses
marussy@mit.bme.hu
kristof@marussy.com
Verified email domains
bme.hu
Hungary
Biography
I’m an assistant professor working at the Critical Systems Research Group (ftsrg) at the Department of Artificial Intelligence and Systems Engineering (MIT) at Budapest University of Technology and Economics (BME). My research interests include graph generation, logic solvers, formal verification, and applying these techniques for ensuring the safety and correctness of critical systems.
Activities
Employment (5)
2025-01-01
to
present
|
Assistant professor
(Department of Artificial Intelligence and Systems Engineering, Critical Systems Research Group)
Employment
Source:
Kristóf Marussy
2023-06-15
to
2024-12-31
|
Research fellow
(Department of Measurement and Information Systems, Critical Systems Research Group)
Employment
Source:
Kristóf Marussy
2020-01-01
to
2023-06-14
|
Assistant research fellow
(Department of Measurement and Information Systems, Critical Systems Research Group)
Employment
Source:
Kristóf Marussy
2018-02-01
to
2019-12-31
|
Assistant research fellow
Employment
Source:
Kristóf Marussy
2014-09-01
to
2015-09-01
|
Research trainee
(Institute of Genomic Medicine and Rare Disorders, BioIntelligence Research Group)
Employment
Source:
Kristóf Marussy
Education and qualifications (3)
2018-02-01
to
2023-06-14
|
PhD in Informatics Sciences
(Department of Measurement and Information Systems)
Education
Source:
Kristóf Marussy
2016-02-01
to
2018-01-26
|
Computer Engineering MSc (with honors)
Education
Source:
Kristóf Marussy
2012-09-01
to
2016-02-06
|
Computer Engineering BSc (with honors)
Education
Source:
Kristóf Marussy