Projects

  • Reversible computation - extending horizons of computing, Cost Action IC1405, 2014-2018.
  • Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education, Ministry of Education and Science, Project III 44006, 2011-2015. (investigator)
  • Representations of logical structures and formal languages and their application in computing, Ministry of Education and Science, Project OI 174026, 2011-2015. (investigator)

Past Projects