Embedded Files
Welcome to my personal website.
Here you will find information regarding my professional profile and activities, but also about my hobbies and personal interests.
I am a mathematician and computer scientist. In particular, I am an expert in distributed systems, both in formal models (Transition Systems, Petri Nets, Guarded Attribute Grammars) and their applications. From a technical perspective I study algebraic structures and combinatorial problems related to concurrency and complexity. I am particularly interested in the many bridges between distributed computing and logic (logical models of concurrency, formal verification, and computational aspects of proof theory), and incidentally their relation to quantum logic and computing.
Contents:
Do you want to collaborate? Contact me by email puerto (dot) adrian (at) gmail (dot) com
My career as a researcher has led me to live in several countries in the past decade, and I enjoy discovering new cultures and learning languages.
I am of a very social nature, and I leave a trail of good friends wherever I go!
Here follows a list of former supervisors, currently still mentors and friends (in alphabetical order):
Eric Badouel ( Inria Rennes, now retired)
Luca Bernardinello ( DISCo, Università di Milano-Bicocca)
Carlo Ferigato ( J.R.C. Ispra, European Commission)
Lucia Pomello ( DISCo, Università di Milano-Bicocca)
Revantha Ramanayake ( Bernoulli Institute, University of Groningen)
Aside from my profession, I have a passion for science and culture. I love music, especially live events, going to art exhibitions and visiting museums. I like spending time in nature, mostly hiking, and I enjoy travelling, discovering new cultures and visiting historical sites.
Page updated
Google Sites
Report abuse