Research and professional activities

Research interests

Approximated Behavioral Reasoning
When the numerical values describing a quantitative system are based on statistical sampling or subject to error estimates, any behavioral analysis based on a notion of equivalence is too fragile, as it only relates processes with identical behaviors. This motivated the study of behavioral distances for quantitative systems to support approximate reasoning and providing a way to measure how distant is the behavior of two different systems.
Algebraic and Coalgebraic Semantics
Algebras and coalgebras can be used for the specification of the semantics of computational languages: they agree with the notions of denotational and opetational specifications, respectively. Both operational and denotational semantics are necessary for a complete description of a programming language. The former to specifying the execution of programs and the latter for reasoning about them compositionally.
Formal Methods for Systems Biology
Formal models for investigating the behavior of interacting biological systems. Languages for the description of biological systems: κ-calculus, (Projective) Brane Calculus, β-binders, ect.

My Activity in Program Committees

  • Combined Workshops on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2017), PC member.
  • CALCO 2017 Early Ideas Workshop (CALCO'17 Early Ideas), PC member.
  • 8th Interaction and Concurrency Experience (ICE 2015), PC member.

Current Position / Activities

Past positions / activities

  • postdoctoral fellow at the Department of Computer Science, Aalborg University.
  • member of the ARTEMIS project MBAT.
  • member of the VKR Centre of Excellence project MT-LAB.
  • Ph.D. student at DiMI, University of Udine.
  • scientific assistant at Aalborg University under the supervision of Radu Mardare and Kim G. Larsen (may-june 2012).
  • visiting student at LFCS under the supervision of Vincent Danos (march-may 2011).
  • member of SisteR project (PRIN 2008), prot. 20088HXMYN.

Honours / Awards

  • Nominee for best paper award at ETAPS'13.

Attended conferences / workshops

  • 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (local organizer)
  • Conference in honour of Kim G. Larsen on the occasion of his 60th birthday (KiMfest 2017) (local organizer)
  • 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (speaker)
  • Open Problems in Concurrency Theory II (research seminar) (OPCT 2017) (attendee)
  • REPAS workshop (project meeting, June 2017) (REPAS 2017) (speaker)
  • 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPSXXXIII) (speaker)
  • Workshop on Probabilistic Programming Languages (Bellairs Workshop 2017) (speaker)
  • 27th International Conference on Concurrency Theory (CONCUR 2016) (speaker)
  • 8th International Workshop on Weighted Automata: Theory and Applications (WATA 2016) (speaker)
  • 12th International Colloquium of Theoretical Aspects of Computing (ICTAC 2015) (speaker)
  • 18th International Conference on Foundation of Software Science and Computation Structure (FoSSaCS 2015) (speaker)
  • IDEA4CPS workshop (project meeting, Sept. 2014) (IDEA4CSP 2014) (speaker)
  • Open Problems in Concurrency Theory I (research seminar) (OPCT 2014) (attendee)
  • Workshop on Duality and Probabilistic Systems (Bellairs Workshop 2014) (speaker)
  • Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) (speaker)
  • 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013) (speaker)
  • 24th International Conference on Concurrency Theory (CONCUR 2013) (attendee)
  • 11th Workshop on Coalgebraic Methods in Computer Science (CMCS 2012) (speaker)
  • 15th International Conference on Foundation of Software Science and Computation Structure (FoSSaCS 2012) (attendee)
  • 3rd International Workshop on Graph Computation Models (GCM 2010) (speaker)
  • 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) (speaker)
  • 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009) (attendee)
  • 3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2009) (speaker)
  • 3rd Workshop on Developments in Computational Models (DCM 2007) (speaker)

valid XHTML | CSS