معرفی
Irek Ulidowski is an Associate Professor in Computer Science at the University of Leicester, affiliated with the School of Computing and Mathematical Sciences within the College of Science and Engineering. He holds a BSc in Mathematics with Computer Science from Queen Mary College, University of London (1987), an MSc in Foundations of Advanced Information Technology from Imperial College, University of London (1988), and a PhD (1994) from Imperial College for his thesis on 'Local Testing and Implementable Concurrent Processes'.
His research focuses on Reversible Computation, including models of reversible processes, semantics of concurrency, process calculi, and structured operational semantics. He has contributed to areas such as reversible debugging of concurrent programs, biochemical systems modeling, and term rewriting with priorities. His work also explores applications in ubiquitous computing and formal methods.
Prof. Ulidowski has organized major conferences like CONCUR 2012 and the Reversible Computation series, and chairs the Steering Committee of Reversible Computation conferences. He is a founding member of IFIP WG 1.8 on Concurrency Theory and an editor of Electronic Proceedings in Theoretical Computer Science.
He has supervised PhD students including James Hoey, Stefan Kuhn, Daniel Morrison, and Nosheen Gul. His teaching includes courses like CO1108: Foundations of Computation and CO7210: Personal and Group Skills. He currently serves as Director of Part-time Teaching.
His research has been supported by grants such as the EPSRC grant for the Reversible Computation 2009 workshop. His publications span journals like New Generation Computing, Journal of Logical and Algebraic Methods in Programming, and conferences like CONCUR and RC.
