Computational Logic and Bioinformatics

Research area: Computer Science

  • Abstract Diagnosis, Abstract Verification and Analysis of Declarative Languages
  • Program Verification and Debugging for of Declarative Languages
  • Logic analysis, Verification and Transformation of semi-structured data collections.
  • Models for bioinformatics in timed concurrent constraint languages. Biological pathway analysis.

ERC Keywords
PE6_13 Bioinformatics, biocomputing, and DNA and molecular computation
PE6_3 Software engineering, operating systems, computer languages
PE6_4 Theoretical computer science, formal methods, and quantum computing Cryptology, security, privacy, quantum crypto
People
Full Professors:

Moreno Falaschi
External Fellows: Maria Alpuente, Demis Ballis, Marco Comini, Carlos Olarte