Irek Ulidowski

	computer science
	HOME	MAP	CONTACT

ABOUT

Back to staff listing

	STAFF — Irek Ulidowski B.Sc. (Queen Mary), M.Sc., Ph.D. (Imperial College) Senior Lecturer in Computer Science
	G12 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3801 F: +44 (0)116 252 3604 E: I.Ulidowski@mcs.le.ac.uk

I received a BSc degree in Mathematics with Computer Science from Queen Mary College, University of London in 1987. Then, in 1988, I was awarded MSc in the Foundations of Advanced Information Technology at the Department of Computing of Imperial College, University of London. I stayed at Imperial College for several more years while conducting doctorate research, and in 1994 I received a PhD degree for a thesis Local Testing and Implementable Concurrent Processes.

I was appointed to a Lectureship in the School of Computing, University of North London in 1992. From September 1994 to December 1997, I held a position of Associate Professor at the Research Institute for Mathematical Sciences (RIMS) of Kyoto University, Japan. In 1998 I was appointed to the Department of Mathematics and Computer Science, University of Leicester, and am currently a member of the Department of Computer Science within the School of Mathematics and Computer Science which is now comprised of two separate departments.

Research

Models of Reversible Computation: reversing CCS and other process calculi; semantics of true concurrency (bisimulations, modal logics) via reversibility; modelling of bio-systems with reversible process calculi. Supported by an EPSRC grant EP/G039550/1.
Process Calculi: operational semantics; testing and game semantics; behavioural equivalences; proof systems; process calculi with discrete time.
Structured Operational Semantics: formats of SOS rules, congruence results; automatic generation of proof systems; automatic generation of rewrite systems; formats for discrete time and timed properties.
Modelling in Ubiquitous Computing: location, movement, mobility, communication.
Operational semantics for Service Oriented Computing within the SENSORIA project.
Term Rewriting: term rewriting with priorities, termination and confluence; automatic generation of priority term rewrite systems. Supported by an EPSRC grant EP/D001307/1.

Professional Activities

Co-organiser of the 23rd International Conference on Concurrency Theory 2012 (CONCUR 2012).
PC member of the 4th Workshop on Reversible Computation, 2012.
PC member of the 22nd International Conference on Concurrency Theory 2011 (CONCUR 2011).
PC member of the 3rd Workshop on Reversible Computation, 2011.
Co-organiser of the 2nd Workshop on Reversible Computation, 2010.
PC member of the 10th International Conference on Application of Concurrency to System Design, ACSD 2010.
Organiser of Reversible Computation 2009 workshop, a satellite event of ETAPS 2009. The workshop is partially supported by an EPSRC grant.
PC member of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009.
PC member of the 9th International Conference on Application of Concurrency to System Design, ACSD 2009.
Co-organiser of the 2nd From Biology To Concurrency and back workshop, FBTC 2008.
PC member of the 8th International Conference on Application of Concurrency to System Design, ACSD 2008.
PC member of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007.
PC member of the 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006.
PC member of the 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006.
PC member of the 3rd Structural Operational Semantics Workshop (SOS 2006).
Founding member of International Federation for Information Processing (IFIP) WG1.8: Concurrency Theory, 2005.
Co-organiser of the 2nd Structural Operational Semantics Workshop (SOS 2005), a satellite workshop of ICALP 2005, 10 July 2005, Lisbon, Portugal.
Co-organiser of Structural Operational Semantics Workshop (SOS 2004), a satellite workshop of CONCUR 2004, 30 August 2004, London, United Kingdom. The workshop was partially supported by an EPSRC grant.

Administration

Director of BSc degrees.
Examinations Officer for BSc degrees.
Member of the University of Leicester Programme Approval Panel.
Member of the Appeal Panels.
Member of the Departmental Academic Committee.

Teaching

CO3007 and CO7007: Communication and Concurrency.
CO3014/CO3015/CO3120: Computer Science BSc Projects.
CO7201: MSc Project.

Would you like to research for a PhD?

If you are interested in PhD research in one of the above listed areas, and would like to discuss a possible course of study, then please get in touch by email.

Irek Ulidowski:
Research
Professional Activities
Administration
Teaching
Would you like a PhD?

Further Details on
Research Interests
Publications

\| \|\|\|\|\|\|\|\|
Author: Irek Ulidowski (I.Ulidowski@mcs.le.ac.uk), T: +44 (0)116 252 3801. © University of Leicester. Last modified: 25th April 2012, 17:15:59. CS Web Maintainer. Any opinions expressed on this page are those of the author.

computer science