Home About Teaching Research Publication Contact
Let me introduce myself to you

Simão Melo de Sousa



let rec myself :

What do I do for a living? Hopefully, understanding stuff, doing things and explaining them


Current Position

DI-UBI

Academy

Associate Professor in the Computer Science Department of Engineering Faculty of the University of Beira Interior.

RELEASE

Research

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

LISP

Research

Researcher of the LISP, Laboratório de Informática, Sistema e Paralelismo from U. Algarve, U. Beira Interior and U. Évora


Short Resumé

To the top

Teaching


Currently Teaching

(sabbatical leave from March 2017 to February 2018)

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 Interest

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, Mobile Code Security, Smart Cards, Applied Cryptography, 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, Program Transformation.

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.



Ongoing Projects

Please consult the Release site for updated information

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