Contact

     Technische Universität Wien

     Institute of Computer Languages 
     Theory and Logic Group

     Address: 
     Favoritenstrasse 9-11 
     A-1040 Wien, Austria 

     E-mail: leonardo.cabrer@logic.at 

                 lmcabrer@yahoo.com.ar



Profile   Research   Publications   Co-Authors    CV



I am a math researcher in various areas of non-classical logic and their connections with algebra and geometry. I hold a "Licenciatura" (5 year degree) in mathematics from the National University of the Centre of Buenos Aires and a PhD in mathematics from the National University of La Plata. I held four one-year postdoc positions in universities worldwide. I also held a two-year Marie Curie IEF-grant at the University of Florence. Alongside my research I have more than 10 years of teaching experience (Argentina and Switzerland). I have also participated in six national and international research projects.


Present Position
  • Postdoctoral Researcher.  (FWF-START Project: Non classical proofs: theory, applications and tools. Project leader: Prof. Dr. Agata Ciabattoni.)  Institute of Computer Languages Theory and Logic Group - Technische Universität Wien.

  • Visiting Researcher. Department of Informatics - King's College London.


Professional Experience

  • Postdoctoral Researcher. (Marie Curie Intra-European Fellowship FP7. Project number 299401.) Dipartimento di Statistica, Informatica, Applicazioni - Università degli Studi di Firenze. April 2013 - April 2015.

  • Postdoctoral Researcher. Mathematical Institute - University of Oxford. April 2012 - March 2013.

  • Postdoctoral Researcher. Mathematical Institute - University of Bern. March 2011 - March 2012.

  • Postdoctoral Researcher. Research Center for Integrated Sciences - Japan Advanced Institute of Science and Technology. November 2009 - October 2010.

  • Postdoctoral Researcher. Argentinean Council of Scientific and Technical Research (CONICET). June 2008 - October 2009.

  • Assistant Researcher. Department of Mathematics - Exact Science Faculty - National University of the Centre of Buenos Aires. March 2008- October 2009.

  • Assistant Researcher (Part-time). Department of Mathematics - Exact Science Faculty - National University of the Centre of Buenos Aires. September 2002 - March 2008.

  • Undergraduate Teaching Assistant (Part-time). Department of Mathematics - Exact Science Faculty - National University of the Centre of Buenos Aires. April 1999 - August 2002.