معرفی
Hamza Bandukara is a Lecturer at Queen Mary University of London, affiliated with the School of Electronic Engineering and Computer Science. He teaches undergraduate courses in Automata and Formal Languages, Operating Systems, and Probability and Matrices, demonstrating expertise in theoretical computer science and foundational computational disciplines.
His research focuses on formal methods, including bisimulation equivalence and fresh-register automata, as evidenced by recent publications. His work bridges automata theory with practical applications in concurrency and verification.
No scientific awards or grants are listed in the provided information. He has not disclosed any advisees or lab affiliations in the available data.
۰مقاله منتشرشده
Hamza Bandukara در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Nikos TzevelekosIMDEA Software Institute · مدرس ارشد- NNikos TzevelekosQueen Mary University of London · مدرس ارشد
- FFredrik DahlqvistQueen Mary University of London · مدرس
Edon KelmendiQueen Mary University of London · مدرس- NNikos TzevelekosNational Technical University of Athens · مدرس ارشد
- GGlynn WinskelQueen Mary University of London · استاد