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
-
10th Conference on Algebra and Coalgebra in Computer Science
(CALCO 2023),
PC Member.
-
24th International Conference on Foundations of Software Science and Computation Structures
(FoSSaCS 2021),
PC Member.
-
45th International Symposium on Mathematical Foundations of Computer Science
(MFCS 2020),
PC Member.
-
A conference in Honour of Kim G. Larsen on the occasion of his 60th birthday
(KiMfest 2017) - Festschrift Editor,
-
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
-
Associate Professor at the Department of Computer Science,
Aalborg University.
-
organizer of DEIS Seminars
-
organizer of Breakfast Talks
Past positions / activities
-
Assistant Professor at the Department of Computer Science,
Aalborg University.
-
Postdoctoral Fellow at the Department of Computer Science,
Aalborg University.
-
member of IDEA4CPS
(founded by Danish National Research Foundation).
-
member of the EU FP7 project SENSATION.
-
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
-
33rd Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS 2018) (speaker)
-
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)
|