Julian Salamanca

Full Name
J.R. Salamanca
Function(s)
PhD student
Email
J.R.Salamanca@cwi.nl
Telephone
+31 20 592 
Room
L215
Department(s)
Formal Methods

Biography

2004 - 2008: BSc in Mathematics, Universidad Nacional de Colombia, Bogota, Colombia. 2008 - 2010: MSc in Mathematics, Universidad de los Andes, Bogota, Colombia. 2011 - 2012: Full time professor, Politecnico Grancolombiano, Bogota, Colombia. 2012 - 2014: PhD student, University of Manitoba, Winnipeg, Canada. 2014 - present: PhD student, Centrum Wiskunde & Informatica, Amsterdam, Netherlands.

Research

My research interests include universal algebra and coalgebra and the use of categorical methods for their study. I have worked, during my bachelor and masters, on equational conservative extensions and implicitly defined operations. During my PhD I focused more on category theory, algebras and coalgebras. During the last years I have worked on equations and coequations, dualities between them and Eilenberg--type correspondences by using category theory.

Publications

Current projects with external funding

  • Enhancing eciency and expressiveness of the coinduction proof method (EcoPro)