Christian Roldán
Christian Roldán
About
 |
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; semantics of programming languages. Email: croldan (at) dc.uba.ar |
Publications
F. Gadducci, H. Melgratti, C. Roldán," On The Semantics And Implementation Of Replicated Data Types . Science of Computer Programming, 2018.
F. Gadducci, H. Melgratti, C. Roldán, "A Denotational View of the Replicated Data Types". International Conference on Coordination Languages and Models. Springer International Publishing, 2017.
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
Teaching assistant at Departamento Computación UBA (Argentina) from 2010.
Currently: Programming Languages Paradigms
Previously: Software Engineering 1
