Akos Hajdu

Logo

Computer scientist
PhD Candidate at BME MIT FTSRG

hajdua@mit.bme.hu
GitHub
Google Scholar
dblp
LinkedIn

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.

Research Interests

Education and Degrees

Research Visits, Internships

Tools

Participation in Research Projects

Selected Publications

Full list of publications / Google Scholar / dblp

Teaching

Professional Activities and Services

Summer Schools, Seminars