Dr Adrián Puerto Aubel
Senior Research Associate
PublicationsI am an RA at the University of Oxford. I earned my PhD from University of Milano-Bicocca, Italy. Previously, I worked as a postdoc at Inria-Rennes (France), as a research engineer at the telecom firm Orange (France) and then again as a postdoc at the Bernoulli Institute, Uni. of Groningen (Netherlands). My expertise involves different models of concurrency such as Petri nets, their formal verification and applications to choregraphic programming languages. I am currently working on the relations between Markov processes, probabilistic temporal logics and distributed systems.