LogiDAC
  • Theoretical Foundations of Databases
  • Logic in Computer Science
  • Complexity Theory
  • Formal Languages and Automata Theory
FLDIT
  • Functional and rule-based programming
  • logical-algebraic modeling and verification
  • Expander2: A Workbench for Interactive Formal Reasoning
DA-BiMaSc
  • Intelligent Data Analysis
  • Knowledge Discovery & Data Mining
  • Applications of CI in Bioinformatics and Materials Science
Information Engineering
  • Qualitative and quantitative knowledge engineering
  • Non-monotonic logics and inference
  • Commonsense reasoning
  • Belief dynamics