Software Reliability and Security: science and engineering.
"Better practice comes from good theories."
RELEASE is a research laboratory from the Department of Computer Science and Engineering / University of Beira Interior (lab 6.25), with scientific affiliation to NOVA-LINCS.
Our focus
Computer Systems Reliability
Deductive Program Verification, Formal Methods, Formal Specification and Verification, Proof Carrying Code, Formal Software Development, Applications to Safety Critical Systems (avionics, aerospace industry, medical systems, railways and public transport industry).Computer Systems Security
Software Security, Language based Security, Blockchain, (verifiable) smart contract for Blockchain, Mobile Code Security, Smart Cards, Applied Cryptography, CyberSecurity, Integrating Biometry with Strong Cryptography, Security in Cloud and Ubiquitous Computing.Computer Aided Reasoning
Program Logic, Automatic Demonstration, Proof Assistants, Computational Logic, Application to Computer Science.Programming Languages Design and Semantics
Type Systems, Operational Semantics, Functional Programming, (Static) Program Analysis, Compiler Design and Construction, Program Transformations.Current Research Projects
REDe FAROTIC
Fintech, CyberSecurity and Big Data technologies for regional entrepreneurship. 2019-2020. Funded by the POCTEP program of INTERREG/FEDER.
FACTOR
A Functional Programming Approach to Teaching Portuguese Foundational Computing Courses
The RELEASE Group is looking for motivated and brilliant students willing to perform outstanding research work. Students interested in performing research work within a post-doctoral program, a PhD program, a MSc program, or within a R&D Project, please drop by the RELEASE lab (6.25) or contact us.