Matías David Lee

text hidden; JavaScript is required / home page

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.

Currently I am 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).


F. S. de Boer, Bravetti, M., Grabe, I., Lee, M. D., Steffen, M., and Zavattaro, G., 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.
P. R. D'Argenio and Lee, M. D., Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation, in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, vol. 7213, pp. 452-466.PDF icon paper-123.pdf (269.47 KB)
M. D. Lee, Gebler, D., and D'Argenio, P. R., Tree rules in probabilistic transition system specifications with negative and quantitative premises, in Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012, vol. 89, pp. 115-130.PDF icon paper-122.pdf (192.61 KB)
M. D. Lee and D'Argenio, P. R., Describing Secure Interfaces with Interface Automata, Electr. Notes Theor. Comput. Sci., vol. 264, no. 1, pp. 107-123, 2010.PDF icon paper-12.pdf (474.34 KB)
M. D. Lee and D'Argenio, P. R., A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis, in SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, 2010, pp. 280-289.PDF icon paper-10.pdf (320.38 KB)


Powered by Drupal