Home About Teaching Research Publication Contact
let rec myself

Simão Melo de Sousa

I moved to the University of Algarve - please consult my new institutional webpage for updated information



Position

RELEASE

Research

Head of the RELEASE, RELiablE And SEcure Computation Research Group from Nova-Lincs at the University of Beira Interior.

Nova-Lincs

Research

Researcher of the Nova-Lincs - NOVA laboratory for Computer Science and Informatics at the University of Beira Interior


Short Resumé

To the top

Teaching


Currently Teaching

BsC Program

Master Program

PhD Program

Past Teaching

Seminars / Advanced Courses

PhD Program

Master Program

BSc Program

I have been on a sabbatical leave from March 2017 to February 2018 and from March 2010 to February 2011.

Several of these courses are hosted in our corporate e-learning platform , please consult this platform for updated information - consulte os e-conteudos para informação actualizada : Moodle @ UBI

(∗) Practical Labs only.

To the top

Research


"Better practice comes from good theories" (K. Lewin)

Research Goals

Design of modern, reliable and secure computer systems:

Research Area and Interests

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 contracts 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.
PROGRAMING LANGUAGES DESIGN AND SEMANTICS
Type Systems, Operational Semantics, Functional Programming, (Static) Program Analysis, Compiler Design and Construction, Program Transformations, Domain Specific Languages.

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 or contact me by email.


you can find here small talks about the research we are doing at RELEASE targeted to diferent audiences
(high-school students (PT), undergraduate students, companies)



Ongoing Projects

Research Oriented Projects

Innovation & Technology Transfer Oriented Projects

Past Projects

Research Oriented

Innovation & Technology Transfer Oriented

To the top

Publications


Authored Books

Edited Books

Journal Guest Edition

Journals

Invited Talks/Keynotes

International Conferences

National Conferences

Thesis

Other Publications

To the top

Contact Me


Gab. 3.17 - Lab 6.25 - Bloco VI
Departamento de Informática
Universidade da Beira Interior
Rua Marquês d’Âvila e Bolama 6201-001 Covilhã, PORTUGAL.

Phone: +351 275 242 081 (Ext 1610)

Fax: +351 275 319 899

Email: desousa_@_di.ubi.pt
(please make the obvious changes to the email address)

Swing by for a cup of , or leave me a note


To the top