About me

My name is Martín Ceresa, and I am me.

I do several things and some represent me more than others:



My interests include: theoretical computer science, programming languages theory, type theory, category theory, mathematics, foundation of mathematics, topology and logic. Recently I have found my self studying history of mathematics and philosophy of mathematics.


  1. Martı́n Ceresa, & Mauro Jaskelioff. (2022). Effectful improvement theory. Sci. Comput. Program., 217, 102792. https://doi.org/10.1016/j.scico.2022.102792
  2. Ceresa Martı́n, Gorostiaga, F., & Sánchez, C. (2020). Declarative Stream Runtime Verification (hLola). In B. C. d. S. Oliveira (Ed.), Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Vol. 12470, pp. 25–43). Springer. https://doi.org/10.1007/978-3-030-64437-6_2
  3. Ceresa Martı́n, Gorostiaga, F., & Sánchez, C. (2020). Declarative Stream Runtime Verification (hLola). CoRR, abs/2003.00032. https://arxiv.org/abs/2003.00032
  4. Grieco, G., Ceresa Martı́n, Mista Agustı́n, & Buiras, P. (2017). QuickFuzz testing for fun and profit. J. Syst. Softw., 134, 340–354. https://doi.org/10.1016/j.jss.2017.09.018
  5. Grieco, G., Ceresa Martı́n, & Buiras, P. (2016). QuickFuzz: an automatic random fuzzer for common file formats. In G. Mainland (Ed.), Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016 (pp. 13–20). ACM. https://doi.org/10.1145/2976002.2976017

Research path

I am currently working in the application of formal methods to blockchain technologies in collaboration with Prof. César Sánchez.

I’ve done my PhD research at CIFASIS under the advisement of PhD. Mauro Jaskelioff and I am currently writting me thesis down. My research focuses on Improvement Theory developed extensively by Prof. Sands early in the nineties. In particular, the main subject of my thesis is to develop an effectful improvement theory.

Before coming to CIFASIS, I was a student in the department of Computer Science at Universidad Nacional de Rosario from where I graduated in 2015.

In 2013, I done an intership at IMDEA (Madrid, Spain) under the supervision of Benedikt Schmidt, in the development of automatic tactics in EasyCrypt. In this internship I have learned about Modern Cryptography Proofs, and a bit about tactic development. I developed an automatic tactic (or megatactic) which implemented a classic cryptography step called optimistic sampling.