基本信息
views: 28
Career Trajectory
Bio
Simão Melo de Sousa is an expert in reliability and security of computer systems. In particular he is actively developing research and publishing on the fundamentals and the design of techniques and tools for the security and formal verification of software.
He received his PhD degree at INRIA Sophia Antipolis / UNSA (France) on the theme "Tools and techniques for the formal verification of the JavaCard platform".
He is professor of Computer Science at the University of Beira Interior where he teaches courses in the area of programming (languages and principles), software engineering, compilation, foundations of computing, formal methods and security. He is co-author of the textbook “Rigorous software Development - An Introduction to Program Verification” from Springer-Verlag.
He is a member of the LIACC/UP research center and coordinates the research group RELEASE (Reliable and Secure Computation group) of the University of Beira Interior. He was also in charge of the research project RESCUE (Safe and Reliable code execution for Embedded systems) that involves almost 30 researchers and 4 institutions. He is also a member of several national and international funded research projects.
He collaborates actively with several national and international companies leaders in the area of critical systems, security, railways, avionics and aerospace industry in technology transfer project. He was consultant in an industrial project about a formally designed, implemented and formally verified railway signaling system that achieve a CENELEC SIL 4 certification. He was also involved in the European project that lead to the first EAL7 (Common Criteria) certified JavaCard Platform.
Research Interests
Papers共 61 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
2023 Fifth International Conference on Blockchain Computing and Applications (BCCA)pp.82-88, (2023)
Jean-Christophe Filliâtre,Léon Gondelman, Cláudio Belo Lourenço,Andrei Paskevich, M.V.F. Pereira,Simão Melo de Sousa,Aymeric Walch
HAL (Le Centre pour la Communication Scientifique Directe) (2020)
Cited0Views0Bibtex
0
0
IACR Cryptol. ePrint Arch. (2020): 1521
Cited0Views0EIBibtex
0
0
2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)pp.159-163, (2020)
arXivorg (2020)
Cited0Views0EIBibtex
0
0
PROCEEDINGS OF THE EUROPEAN CONFERENCE ON THE IMPACT OF ARTIFICIAL INTELLIGENCE AND ROBOTICS (ECIAIR 2019)pp.331-340, (2019)
Load More
Author Statistics
#Papers: 61
#Citation: 516
H-Index: 15
G-Index: 22
Sociability: 5
Diversity: 1
Activity: 9
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn