Dario Della Monica
Assistant Professor
Università degli Studi di Udine
Italy
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.

How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Syntax
Logic Programming
Programming Language
Serious Games
Proof Theory
Program Implementation
Ask ApplyKite AI
Recent Grants
Grant: Close
INdAM FELLOWSHIPS IN MATHEMATICS AND/OR APPLICATIONS COFUNDED BY MARIE CURIE ACTIONS---Model Rating: Enhancing model checking with information on model distance
Open Date: 2016-10-01
Close Date: 2018-09-30
Grant: Close
INdAM FELLOWSHIPS IN MATHEMATICS AND/OR APPLICATIONS COFUNDED BY MARIE CURIE ACTIONS
Open Date: 2013-10-01
Close Date: 2018-09-30
Grant: Close
Decidability and Expressiveness for Interval Temporal Logics
Open Date: 2013-01-01
Close Date: 2015-12-31
Articles3
Collaborators4
David de Frutos-Escrig
Full Professor
Universidad Complutense de Madrid
Massimo Benerecetti
Prof.
Università degli Studi di Napoli Federico II
Fabio Mogavero
Università degli Studi di Napoli Federico II
Nicola Saccomanno
University of Udine

How do I reach out?
Sign in for free to see their profile details and contact information.