|
Irek Ulidowski
B.Sc. (Queen Mary), M.Sc., Ph.D. (Imperial College)
 |
Lecturer in Computer Science
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.
office: F8 Mathematics Building
tel: +44 (0)116 252 3801
fax: +44 (0)116 252 3604
e-mail: I.Ulidowski@mcs.le.ac.uk
|
I received a BSc degree in Mathematics with Computer Science from
Queen Mary College
of the 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
my 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 a Lectureship in the Department of Mathematics
and Computer Science, University of Leicester.
-
Research Interests:
- Concurrency Theory: Process languages, SOS with Priorities, Formats of SOS rules
(De Simone, GSOS, OSOS and ISOS), Testing, relational and game semantics,
Automatic proof system generation,
Extensions of process languages with additional features such as time
and random delays.
- Term Rewriting: Term rewriting with priorities: termination and confluence,
Automatic generation of (priority) term rewrite systems for general process
languages.
- Modelling, Analysis and Verification of Communication Protocols.
- Databases: Null values in relational and object oriented databases.
-
Teaching:
-
Administration:
- I am the Examinations Officer for the Department of Computer Science.
- I am a member of the Board of the Faculty of Science, and a member
of the Academic Committee of the Board of the Faculty of Science.
- I am a member of the Teaching Committee of the Department of Computer Science.
- I was the secretary of the Departmental Computer Science Curriculum Committee,
which planed the overall degree programme for Computer Science, between 2000 and 2003.
- I was the Foundation Year Tutor for the Department, and a member of Leicester
University Foundation Programme Management Committee, between 2000 and 2003.
- I chaired the CO1011 (Logic and Disctete Structures)
Working Party in 2002.
- I held the post of Careers Tutor for the Department.
- I chaired the Information Systems Working Party in 1998-1999.
-
Professional Activities:
- Co-organiser of Structural Operational
Semantics Workshop, a satellite workshop of CONCUR 2004, 30 August 2004, London,
United Kingdom. The workshop was partially supported by an
EPSRC grant.
- Organiser of ARTS 2004,
the 6th AMAST Workshop on Real-Time Systems, 12 June 2004, Stirling, Scotland.
- PC Member of EXPRESS 2004,
the 11th International Workshop on Expressiveness in Concurrency, a satellite workshop
of CONCUR 2004, 30 August 2004, London, United Kingdom.
- PC Member of ICTAC 2004, the 1st
International Colloquium on Theoreticsl Aspects of Computing, 20-24 September 2004,
Guiyang, China.
- I taught a course on Concurrency Theory at
Midlands Graduate School in the Foundations of Computing Science.
- I organised and chaired the 4th International RIMS Workshop
Concurrency Theory and Application '96 which took place
in Kyoto, Japan, in 1996.
You may wish to see the call for
papers and the final programme.
Would you like to research for a PhD?
I am always looking for students who wish to research for a PhD in one of the areas listed above.
If you are interested and would like to discuss a possible course of study, then
please get in touch by email.
|