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 (through its members) to NOVA-LINCS, LISP and IT.
September 19, 2019
Our new website has launched! Take a look.
Computer Systems ReliabilityDeductive 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 SecuritySoftware 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 ReasoningProgram Logic, Automatic Demonstration, Proof Assistants, Computational Logic, Application to Computer Science.
Programming Languages Design and SemanticsType Systems, Operational Semantics, Functional Programming, (Static) Program Analysis, Compiler Design and Construction, Program Transformations.
Current Research Projects
Formal Verification of Tezos Smart Contracts
Fintech, CyberSecurity and Big Data technologies for regional entrepreneurship. 2019-2020. Funded by the POCTEP program of INTERREG/FEDER.
A Functional Programming Approach to Teaching Portuguese Foundational Computing Courses
Cloud Computing Competence Centre
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.