As part of my academic work, I have been a reviewer for several scientific articles. Below you can find a list of journals and conferences for which I have reviewed one or more submissions. Since all of these were (single) blind reviews, I will of course not disclose which papers I reviewed.
Journals
- Logical Methods in Computer Science (LMCS)
- Fundamenta Informaticae (FI)
- Journal of Logical and Algebraic Methods in Programming (JLAMP)
International Conferences
- Algebra and Coalgebra in Computer Science (CALCO): 2013, 2015
- Application to Concurrency of System Design (ACSD): 2012, 2013, 2014
- Concurrency Theory (CONCUR): 2012, 2014, 2017
- European Symposium on Research in Computer Security (ESORICS): 2017
- Fundamental Approaches to Software Engineering (FASE): 2016
- Logic in Computer Science (LICS): 2015
- Mathematical Foundations of Computer Science (MFCS): 2013
- Mathematical Foundations of Programming Semantics (MFPS): XXXI (2015)
- Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 2013