 |
STAFF
— Irek Ulidowski
B.Sc. (Queen Mary), M.Sc., Ph.D. (Imperial College)
Associate Professor in Computer Science
|
612 Ken Edwards Building
School of Computing and Mathematical Sciences,
University of Leicester,
University Road,
Leicester,
LE1 7RH.
T: +44 (0)116 252 3801
F: +44 (0)116 252 3604
E: I.Ulidowski@leicester.ac.uk
|
I received a BSc degree in Mathematics with Computer Science from
Queen Mary College,
University of London, in 1987.
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. Currently I am a member of
the School of Computing and Mathematical Sciences within
the College of Science and Engineering at the University of Leicester.
- Reversing message passing and shared memory concurrent programs with application to debugging.
- Models of Reversible Computation: reversing CCS and other process calculi;
modelling of biochemical systems with reversible process calculi,
reversible DI-circuits and reversible cellular automata.
- Semantics of Reversible Computation: reversible bisimulationis, modal logics, and event structures.
- 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.
- Term Rewriting: term rewriting with priorities, termination and confluence;
automatic generation of priority term rewrite systems.
-
PC member of the 14th
Conference on Reversible Computation, 2022.
-
PC member of the 13th
Conference on Reversible Computation, 2021.
-
PC member of the 12th
Conference on Reversible Computation, 2020.
-
PC member of the 11th
Conference on Reversible Computation, 2019.
-
Organiser and co-chair of the 10th
Conference on Reversible Computation, 2018.
-
PC member of the 9th
Conference on Reversible Computation, 2017.
-
PC member of the 8th
Conference on Reversible Computation, 2016.
-
PC member of the
Combined 22nd International Workshop on Expressiveness in Concurrency and 12th
Workshop on Structural Operational Semantics, 2015.
-
PC member of the 7th
Conference on Reversible Computation, 2015.
-
PC member of the
Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, 2014.
-
PC member of the 6th
Conference on Reversible Computation, 2014.
-
PC member of the
Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013.
-
PC member of the 5th
Conference on Reversible Computation, 2013.
- Co-organiser and co-chair 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 and chair 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.
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.
Recently graduated PhD students:
- James Hoey
- Stefan Kuhn
- Daniel Morrison
- Nosheen Gul
- Director of Part-time Teaching.
- CO1108: Foundations of Computation.
- CO7210: Personal and Group Skills.
|
|
