computer science

	STAFF — Daniela Petrişan Ph.D. Research Associate
	G5 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3391 E: petrisan at mcs.le.ac.uk

Short Bio

I completed my doctoral studies in 2011 under the supervision of Alexander Kurz. Before coming to Leicester I read Mathematics at the University of Bucharest.

I am interested in Coalgebraic Logics, Nominal Sets, Stone type dualities and applications of algebraic and topological methods in Computer Science.

I was a PC member of the 11th International Workshop on Coalgebraic Methods in Computer Science.

Publications

A. Kurz, D. Petrișan, P. Severi, F. de Vries: An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS 2012.

M. Gabbay, T. Litak, D. Petrișan: Stone duality for nominal Boolean algebras with `new'. CALCO 2011.

M. Bilkova, A. Kurz, D. Petrișan, J. Velebil: Relation Liftings on Preorders. CALCO 2011.

A. Kurz, D. Petrișan: On Universal Algebra over Nominal Sets. Mathematical Structures in Computer Science, Volume 20 (2), 2010. (.pdf).

A. Kurz, D. Petrișan: Presenting Functors on Many-Sorted Varieties and Applications. To appear in Information and Computation. (.pdf).

A.M. Moshier, D. Petrișan: A Duality Theorem for Real C* Algebras. CALCO 2009.

A. Kurz, D. Petrişan: Functorial Coalgebraic Logic: The case of many-sorted varieties. CMCS 2008. (.pdf).

Teaching

During the spring term 2011/2012 I will supervise individual MSc projects (campus access only: CO7201 ) and second year group software engineering projects (campus access only: CO2015 ).

Events

Forthcoming events

Coalgebraic Logics. Schloss Dagstuhl, Germany, 7-12 October 2012.

Milner Symposium. Edinburgh, Scotland, 15 - 18 April 2012.

CMCS'12. Tallinn, Estonia, 31 March - 1 April 2012.

Past events

Coalgebraic Logics. Schloss Dagstuhl, Germany, December 6-9, 2009.

CALCO 2009. Udine, 7-10 September 2009.

TACL 2009. Amsterdam, 7-11 July 2009.

Domains IX. Brighton, UK, 22 - 24 September 2008.

International Workshop on Topological Methods in Logic . Tbilisi, Georgia, 3 - 5 June 2008

Midlands Graduate School (MGS 2008). University of Birmingham, UK, 14 - 18 April, 2008.

Coalgebraic Methods in Computer Science (CMCS 2008). Budapest, Hungary, 4 - 6 April, 2008.

Advanced Course on Simplicial Methods in Higher Categories). Barcelona, Spain, 4 - 14 February, 2008.

Algebraic and Topological Methods in Non-Classical Logics III. University of Oxford, August 5-9 2007.

• Daniela Petrişan Ph.D. :
• Short Bio
• Publications
• Teaching
• Events

Author: Daniela Petrişan Ph.D. (petrisan at mcs.le.ac.uk), T: +44 (0)116 252 3391.
© University of Leicester DATE. Last modified: 7th February 2012, 19:54:37.
CS Web Maintainer. Any opinions expressed on this page are those of the author.