Research interests:

  • Major lines of research, professional work and expertise are in formal methods and mathematical logic with application in theoretical computer science - type theory, lambda calculus, theory of distributed and concurrent systems, theory of programming languages, formalization of mathematics and mathematical linguistics.
  • Most recent research interests focuses on mathematical models and formal methods for privacy in large scale systems, computer assisted mathematical reasoning, effective tools and novel methodologies for teaching and learning mathematics, formal methods in machine learning and artificial intelligence and open data and open science technologies.
  • Publications
  • Students
  • Collaboration