User error: Failed to connect to memcache server: druportbe01:11211 in dmemcache_object() (line 415 of /production/drupal/dim_prod/drupal/d7cl4/prod/unisi/releases/22/web/sites/all/modules/contrib/memcache/dmemcache.inc).
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
