Theoretical computing & practical math
As part of EUTYPES, we innovate software testing through advanced math
As member of the European COST (Cooperation in Science and Technology network) Comtrade, along with the Faculty of Mathematics and Physics, University of Ljubljana, represents Slovenija in EUTYPES.
An active participation in research activities within the EUTYPES program gives Comtrade access to the latest developments in mathematical type theory and logic. This branch of theoretical computing forms the basis for modern programming languages, software development and software validation.
The expected results are: a programming language that will be a step ahead of the competition in the field of high-tech software service development, the use of type theory to formally validate future solutions and an ability to identify issues that cannot be discovered using the traditional approach to software testing.