Welcome to HASLab

Hello! My name is
Jorge Sousa Pinto and I am the leader of
HASLab, the University of Minho's
High-Assurance Software Laboratory. In this laboratory, we do research on
formal methods applied to the development of
high-quality software, that is, software that you can depend on.
Our lemma is
"Improving Practice Through Theory", meaning that we do not believe in ad-hoc, pre-scientific technology. Our lab is the outcome of more than 25 years of research and teaching in the field.
HASLab is a research center of the University of Minho and a privileged partner (PP) of the
INESC TEC associate laboratory.
Bookshelf
|

|

|
Links: