Matías David Lee |
 |
|
Lecturer (Profesor Adjunto)
|
I finished my PhD in Computer Science in 2013 under the supervision of Dr. Pedro R. D'Argenio. It was mix of different things: process semantics, non-interference and rules format for specification of probabilistic transitions systems. Until 2015, I continued with a postdoc position in this group. I was also a postdoc at LIP, Laboratoire de l'Informatique du Parallélisme, in Lyon, France, within the team PLUME.
I spent some time in Rennes (France) in 2007 (working on rare event simulation) and in Bologna (Italy) in 2012 (working on proving Deadlock Freedom for active objects and futures). At the beginning of 2013, I spent two months in Eindhoven (The Netherlands). Currently, I am Data Science Researcher and Backend Developer for Xcapit
Publications:
, “Input/Output Stochastic Automata - Compositionality and Determinism”, in Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, vol. 9884, Springer, 2016, pp. 53–68.
paper-654.pdf (1.49 MB)
paper-654.pdf (1.49 MB) , “SOS rule formats for convex and abstract probabilistic bisimulations”, in Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015., vol. 190, 2015, pp. 31–45. paper-553.pdf (205.49 KB)
paper-553.pdf (205.49 KB) , “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK, 11th-12th April 2015, vol. 194, Open Publishing Association, 2015, pp. 79-94. paper-572.pdf (233.09 KB)
paper-572.pdf (233.09 KB) , “Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules”, in Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014, vol. 8412, pp. 289-303. paper-413.pdf (345.34 KB)
paper-413.pdf (345.34 KB) , “Semántica de procesos para sistemas interactivos y sistemas probabilísticos”, Universidad Nacional de Córdoba, Córdoba, 2013. paper-260. (968.3 KB)
paper-260. (968.3 KB) , “A Petri Net Based Analysis of Deadlocks for Active Objects and Futures”, in Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, 2013, vol. 7684, pp. 110-127.