Research topics

Mathematical Logic

  • Use of nonstandard techniques (à la A. Robinson) mostly in functional analysis. Study of  properties  of nonstandard hulls (equivalently: ultraproducts) of C*-algebras and of corresponding constructions in the framework of  von Neumann algebras (tracial nonstandard hulls)
  • Development of proof-systems for linear and branching time logics. Study of their proof-theoretic properties
  • Extensions of propositional and  predicate Continuous Logic by means of modal operators. Real-valued logics with unbounded truth values. Completeness and  model-theoretic properties
  • Popularization of foundational topics in mathematics

Theoretical Computer Science

  • Programming language theory
  • Static analysis (type systems, type-and-effect systems, control flow analysis, abstract interpretation)
  • Process calculi and concurrency theory
  • Contract languages for distributed systems orchestration (based on logics, automata, event structures, or process calculi)