Dr Corina Cirstea


Dr Corina Cirstea Contact Research and Projects Publications Teaching Homepage Search People		Dr Corina Cirstea Dr Corina Cirstea School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Position: Academic staff in Dependable Systems & Software Engineering Extension: 23625 Telephone: Work (Voice): +44 (0)23 8059 3625 Email: cc2@ecs.soton.ac.uk URI: http://id.ecs.soton.ac.uk/person/5744 [browse] Interests: category theory, modal logics, theory and applications of coalgebras The group secretary for the Dependable Systems & Software Engineering is Maggie A Bond. Qualifications DPhil in Computation (University of Oxford, 2000) MSc in Computer Science (Babes-Bolyai University, 1993) Other Professional Activities Member of CALCO Steering Committee Member of CMCS Steering Committee Invited speaker at International Workshop on Coalgebraic Methods in Computer Science, March 2006, Vienna (Austria)

School of Electronics and Computer Science
University of Southampton
Southampton
SO17 1BJ
United Kingdom

Position: Academic staff in Dependable Systems & Software Engineering
Extension: 23625
Telephone: +44 (0)23 8059 3625
Email: cc2@ecs.soton.ac.uk
URI: http://id.ecs.soton.ac.uk/person/5744 [browse]

Interests: category theory, modal logics, theory and applications of coalgebras

The group secretary for the Dependable Systems & Software Engineering is Maggie A Bond.

Qualifications

DPhil in Computation (University of Oxford, 2000) MSc in Computer Science (Babes-Bolyai University, 1993)

Member of CALCO Steering Committee
Member of CMCS Steering Committee

Invited speaker at International Workshop on Coalgebraic Methods in Computer Science, March 2006, Vienna (Austria)