My research goal is to contribute to the development of programming models and analysis techniques suitable for the development of applications that rely on weak consistent, replicated stores. My advisor is Hernán Melgratti.
Main interests: concurrency theory and process calculi; type theory and proof theory; semantics of programming languages.
Email: croldan (at) dc.uba.ar
H. Melgratti, C. Roldán, "A Formal Analysis of the Global Sequence Protocol. International Conference on Coordination Languages and Models. Springer International Publishing, 2016.
H. Melgratti, C. Roldán. "On correlation sets and correlation exceptions in ActiveBPEL." International Symposium on Trustworthy Global Computing. Springer Berlin Heidelberg, 2011.
Teaching assistant at Departamento Computación UBA (Argentina) from 2010.
Currently: Programming Languages Paradigms
Previously: Software Engineering 1