Electronics and Computer Science (ECS), University of Southampton

Electronics and Computer Science (ECS)

Dr Corina Cirstea

Photograph of Dr Corina Cirstea
http://widgets.ecs.soton.ac.uk/image.php?id=person_5744&maxw=250&maxh=300&corners=0&edge=1&checksum=fdcad9bc897bf15441cda52f43224186Photograph of Dr Corina Cirstea
Dr Corina Cirstea

ECS, Faculty of Physical Sciences and Engineering
University of Southampton
Southampton, United Kingdom. SO17 1BJ

Position: Academic staff in Electronic and Software Systems
Extension: 23625
Telephone: Work (Voice): +44 (0)23 8059 3625
Email: cc2@ecs.soton.ac.uk
Homepage: http://users.ecs.soton.ac.uk/cc2/
URI: http://id.ecs.soton.ac.uk/person/5744 [browse]

Interests: category theory, formal verification, logic in computer science, theory and applications of coalgebras

Qualifications

DPhil in Computation (University of Oxford, 2000)

MSc in Computer Science (Babes-Bolyai University, 1993)

Other Professional Activities

Member of 2016 CPHC/BCS Distinguished Dissertations selection panel

Member of IFIP Working Group 1.3

Member of CALCO Steering Committee
Member of CMCS Steering Committee

Organiser of CALCO 2011

Involvement in Program Committes:

ECS staff options: Edit this page | See intranet page