Ákos Hajdu

Logo

Computer scientist
PhD Candidate at BME MIT FTSRG

hajdua@mit.bme.hu
Short CV   Long CV

About Me

Computer scientist mainly located in Budapest, Hungary, currently pursuing PhD studies 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

Research Visits, Internships

Tools

Selected Publications

Full list of publications / Google Scholar / dblp

Research Projects

Teaching

Service

Summer Schools, Seminars