Moreno Falaschi

Materiale didattico corso di Programmazione

Teaching material for the course on Models and Languages for Bioinformatics

Research Activities

• Logic Programming
• Functional Logic Programming
• Analysis and Transformation of Declarative Programs
• Specification and Verification of Reactive Systems
• Computational models based on concurrent constraint programming for systems biology

Moreno Falaschi (moreno.falaschi@unisi.it)