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:

P. R. D'Argenio, Fraire, J. A. , and Hartmanns, A. , Sampling Distributed Schedulers for Resilient Space Communication, in NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, vol. 12229, R. Lee, Jha, S. , and Mavridou, A. , Eds. Springer, 2020, pp. 291–310.PDF icon paper-794.pdf (5.73 MB)
F. Bonchi, van Bussel, T. , Lee, M. D. , and Rot, J. , Bisimilarity of open terms in stream GSOS, Sci. Comput. Program., vol. 172, pp. 1–26, 2019.PDF icon paper-801.pdf (641.75 KB)
F. S. de Boer, Bravetti, M. , Lee, M. D. , and Zavattaro, G. , A Petri Net Based Modeling of Active Objects and Futures, Fundam. Informaticae, vol. 159, pp. 197–256, 2018.PDF icon paper-800.pdf (499.42 KB)
F. Bonchi, Lee, M. D. , and Rot, J. , Bisimilarity of Open Terms in Stream GSOS, in Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, vol. 10522, M. Dastani and Sirjani, M. , Eds. Springer, 2017, pp. 35–50.PDF icon paper-799.pdf (413.24 KB)
P. R. D'Argenio, Budde, C. E. , Lee, M. D. , Monti, R. E. , Rodríguez, L. , and Wolovick, N. , The Road from Stochastic Automata to the Simulation of Rare Events, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, J. - P. Katoen, Langerak, R. , and Rensink, A. , Eds. Springer, 2017, pp. 276-294.PDF icon paper-752.pdf (1.51 MB)
P. R. D'Argenio, Gebler, D. , and Lee, M. D. , A general SOS theory for the specification of probabilistic transition systems, Inf. Comput., vol. 249, pp. 76–109, 2016.PDF icon paper-655.pdf (995.37 KB)

Pages