University of Leicester

computerscience

photo of Daniela Petrişan  Ph.D.

STAFF — Daniela Petrişan Ph.D.

Research Associate
G5Computer 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.

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).

PhD Thesis

I defended my PhD thesis Investigations into Algebra and Topology over Nominal Sets in November 2011. (.pdf)

Activities

I have been a PC memeber of the 11th International Workshop on Coalgebraic Methods in Computer Science and 5th Conference on Algebra and Coalgebra in Computer Science.

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.

| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

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