معرفی
Nikos Tzevelekos is a Senior Lecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of London, where he is a member of the Theory Group. He holds a PhD from the University of Oxford, where he previously served as a postdoctoral researcher in the Quantum Group.
His research focuses on Theoretical Computer Science with emphasis on:
- Mathematical modeling of programming languages using game semantics and category theory
- Applications to program analysis and verification
- Automata theory (particularly automata over infinite alphabets)
- Development of formal methods for software verification
His publications demonstrate consistent focus on program semantics and verification techniques, with recent work exploring bisimulation methods, separation logic foundations, and compositional verification frameworks. Research often combines theoretical depth with practical tool development.
Awards:
- LICS 2023 Distinguished Paper Award
He actively contributes to the research community through:
- Program committees for top conferences (POPL, LICS, FOSSACS)
- Organization of events like World Logic Day 2025
- Teaching courses on Algorithms, Automata Theory, and Logic in Computer Science
۰مقاله منتشرشده
Nikos Tzevelekos در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- NNikos TzevelekosQueen Mary University of London · مدرس ارشد
- NNikos TzevelekosNational Technical University of Athens · مدرس ارشد
- SStefan MiliusMax Planck Institute for Software Systems · مدرس ارشد
Andrzej MurawskiUniversity of Oxford · استاد
Lutz SchröderUniversity of Erlangen–Nuremberg · استاد- SStefan MiliusUniversity of Erlangen–Nuremberg · مدرس ارشد