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.
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).
I defended my PhD thesis Investigations into Algebra and Topology over Nominal Sets in November 2011. (.pdf)
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.
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.
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.
Author: Daniela Petrişan Ph.D. (petrisan at mcs.le.ac.uk), T: +44 (0)116 252 3391.