
Basic data
- Otros
- Salud
State Investigation Agency
Formal Reasoning for Enabling and Emerging Technologies
State Investigation Agency
The use of techniques based on formal reasoning has been successfully used to ensure the reliability, efficiency and safety of technological products. The focus of the FREETech project is the following: (1) the development of program analysis, verification, testing and debugging techniques that allow reasoning about correctness, efficiency and possible vulnerabilities in both existing and emerging applications. These applications include software-defined networks or smart contracts for which resource consumption and security are highly relevant, as well as communication protocols with physical properties such as real time or distances; (2) the use of data science and machine learning techniques to obtain, develop and/or manipulate models of current applications; (3) the use of formal reasoning to improve search techniques in genomic sequences; or (4) the use of constraint solving and optimization tools and techniques (SAT, SMT and CP) to address complex planning and replanning problems.
In this way, our project covers from the basic theory for the development and application of existing enabling technologies to the current challenges introduced by emerging information technologies in the digital society.
The use of techniques based on formal reasoning has been successfully used to ensure the reliability, efficiency and safety of technological products. The focus of the FREETech project is the following: (1) the development of program analysis, verification, testing and debugging techniques that allow reasoning about correctness, efficiency and possible vulnerabilities in both existing and emerging applications. These applications include software-defined networks or smart contracts for which resource consumption and security are highly relevant, as well as communication protocols with physical properties such as real time or distances; (2) the use of data science and machine learning techniques to obtain, develop and/or manipulate models of current applications; (3) the use of formal reasoning to improve search techniques in genomic sequences; or (4) the use of constraint solving and optimization tools and techniques (SAT, SMT and CP) to address complex planning and replanning problems.
In this way, our project covers from the basic theory for the development and application of existing enabling technologies to the current challenges introduced by emerging information technologies in the digital society.
Santiago Escobar
Professor
VRAIN