Formal Methods Research Group Department of Mathematics
School of Applied Mathematical and Physical Sciences
National Technical University of Athens

Projects

  • LEPS: Leveraging eID in the Private Sector, CEF.
  • ICT COST:CA16207: European Network for problematic usage of the Internet.
  • ICT COST:CA16116: Wearable Robots for Augmentation, Assistance or Substitution of Human Motor Functions.
  • BE-OPEN: Boosting the Serbian Universities to Open Science,Erasmus+.
  • ICT COST:CA15123: The European Network on Types for programming and verification (EYTYPES).
  • ICT COST:IC 1402 Runtime Verification beyond Monitoring (ARVI).
  • ICT COST:IC 1405 Reversible computation - extending horizons of computing.
  • ICT COST:IC 1201 Behavioral Types for Reliable Large Scale Software Systems (BETTY).
  • Kallipos: Responsible for the writing of the book “Logic in Computer Science”.
  • CERN & NTUA: Collaboration in Informatics Support and Development .
  • THALES: Algebraic Modelling of Topological and Computational Structures (AlModTopCom). For more information please click here
  • ICT COST: European Cooperation in Science and Technology, Action IC1402 Runtime Verification beyond Monitoring (ARVI).
  • ICT COST: European Cooperation in Science and Technology, Action IC1405 Reversible computation - extending horizons of computing
  • ICT COST: European Cooperation in Science and Technology, COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems