Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Maria Paola Bonacina
Professor
Università degli Studi di Torino
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
Computational Linguistics
Constraint Programming
Complexity Theory
Model Checking
Knowledge Representation
Logic Programming
Ask ApplyKite AI
Recent Grants
Grant: Close
Integrazione di metodi di ragionamento automatico nel model checking verifica formale automatica di sistemi di grande scala e a stati infiniti.
Open Date: 2007-01-01
Close Date: 2009-01-01
Grant: Close
Sintesi di procedure di decisione basate sulla deduzionecon applicazioni all'analisi formale e automatica di programmi
Open Date: 2003-01-01
Close Date: 2005-01-01
Grant: Close
CISE Research Instrumentation: Instrumentation for Research in Search Technology
Open Date: 1998-02-01
Close Date: 2000-01-01
Grant: Close
CAREER: Distributed Deduction with Contraction and Foundation of Strategy Analysis
Open Date: 1997-09-01
Close Date: 2002-08-31
Grant: Close
RIA: Strategies for Contraction-Based Distributed Automated Deduction
Open Date: 1994-09-01
Close Date: 1997-08-31
Articles6
Collaborators1
Michael Kinyon
Professor
University of Denver
How do I reach out?
Sign in for free to see their profile details and contact information.