DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
E SCIENZE MATEMATICHE

UNIVERSITA' DEGLI STUDI DI SIENA
 
 Webmail
Home |  Home Education |  Contacts |  UniSi   Privacy e Cookie policy

Research Groups


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.

 
Keywords ERC
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 Collaborators: Maria Alpuente, Demis Ballis, Marco Comini, Carlos Olarte




Username:
Password:


Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche - Via Roma, 56 53100 SIENA - Italy