Ákos Hajdu

Logo

Computer scientist, PhD
Assistant lecturer at BME MIT FTSRG

hajdua@mit.bme.hu
Short CV   Long CV
Publications

About Me

Computer scientist mainly located in Budapest, Hungary, recently completed PhD in formal methods and verification techniques. Feeling the most comfortable at the intersection of theory and practice, where the latest research results come to life in real-world solutions.

News

Research Interests

Education and Degrees

Employment

Tools

Selected Publications

Full list of publications / Google Scholar / dblp

Research Projects

Teaching

Service

Summer Schools, Seminars