Personal profile
Personal information
João Lourenço is an Associate Professor at the Computer Science Department of the NOVA School of Science and Technology of NOVA University Lisbon, and a founding member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS). He received his Ph.D. from NOVA University Lisbon in 2004 with a thesis on debugging of distributed programs. Currently, his primary research interests include in-memory data management for parallel and large-scale computing systems, testing and debugging of concurrent programs, and edge/fog computing. He is a member of the advisory board and steering committees of several International Conferences and Research Networks. He is co-author of more than 50 articles/papers and received a Distinguished Paper Award in Euro-Par 2012 and the Best Paper Award in HVC 2012. He was a visiting researcher at IBM Research Laboratory at Haifa, IL, in 2011; at the University of S. Paulo (at S. Carlos), BR, in 2014; and at the University of Brno, CZ, in 2015. He is the author of the popular NOVAthesis LaTeX thesis template. He also writes on a blog about Technical and Scientific Communication, with or without LaTeX and the NOVAthesis template.
Education/Academic qualification
Computer Science, Doctorate, A Debugging Engine for Parallel and Distributed Programs, Universidade NOVA de Lisboa
Award Date: 1 Jan 2004
Computer Science, Master, Mecanismos de Suporte à Execução Concorrente de Programas em Lógica, Faculdade de Ciências e Tecnologia (FCT)
Award Date: 1 Mar 1995
External positions
Adjunct Professor, Ontario Tech University
1 Sept 2019 → …
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
A survey of challenges for runtime verification from advanced application domains (beyond software)
Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstić, S., Lourenço, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, D. & Weiss, A., 1 Nov 2019, In: Formal Methods in System Design. 54, 3, p. 279-335 57 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile94 Link opens in a new tab Citations (Scopus)47 Downloads (Pure) -
It's about THYME: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments
Silva, J. A., Cerqueira, F., Paulino, H., Lourenço, J. M., Leitão, J. & Preguiça, N., May 2021, In: Future Generation Computer Systems - The International Journal of Grid Computing and eScience. 118, p. 14-36 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Link opens in a new tab Citations (Scopus)771 Downloads (Pure) -
Verifying real-world software with contracts for concurrency
Lourenço, J. M., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 70-73 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
File1 Link opens in a new tab Citation (Scopus)46 Downloads (Pure) -
Pot: Deterministic transactional execution
Vale, T. M., Silva, J. A., Dias, R. J. & Lourenço, J. M., 1 Dec 2016, In: ACM Transactions on Architecture and Code Optimization. 13, 4, 52.Research output: Contribution to journal › Article › peer-review
5 Link opens in a new tab Citations (Scopus) -
Dynamic Membership Management and Data Sharding in Edge-Enabled Publish/Subscribe Systems
Saramago, J., Silva, J. A., Paulino, H. & Lourenço, J. M., 2025, Proceedings - 2025 23rd IEEE International Symposium on Network Computing and Applications, NCA 2025. Institute of Electrical and Electronics Engineers (IEEE), p. 51-58 8 p. (Proceedings - 2025 23rd IEEE International Symposium on Network Computing and Applications, NCA 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review