João Lourenço
Changing the world, one student at a time…
Computer Science Department, NOVA School of Science and Technology, NOVA University Lisbon, Quinta da Torre, P-2829-516 CAPARICA, Portugal — joao.lourenco [AT] fct [DOT] unl [DOT] pt (email)
Bio
Short Bio
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.
More about me at:
NOVAthesis LaTeX template
Did you get here looking for the NOVAthesis LaTeX template? Just download it from the github repository or use the template in Overleaf.
You may also visit my blog (at https://novathesis.blogspot.pt) on Technical and Scientific Communication, including tips and tricks for LaTeX and the NOVAthesis template.
ACM Computing Classification System research interests
(D.1.3) Programming Techniques — Concurrent Programming;
(D.2.2) Software Engineering — Design Tools and Techniques;
(D.2.4) Software Engineering — Software/Program Verification;
(D.2.5) Software Engineering — Testing and Debugging;
(D.4.1) Operating Systems — Concurrency Management;
(F.3.2) Logics and Meanings of Programs — Semantics of Programming Languages;
(D.2.4) Parallel Databases;
(K.3) Computers and Education.
Awards
- Best paper award at the Haifa Verification Confernece 2012, with the paper "Precise Detection of Atomicity Violations", co-authored with Vasco Pessanha and Ricardo J. Dias.
- Distinguished (best) paper award at Euro-Par 2012, with the paper "Efficient Support for In-Place Metadata in Transactional Memory", co-authored with Ricardo J. Dias and Tiago M. Vale.
Organization of Conferences and Workshops
- as (Co-)Chair: MUSEPAT 2013 | PADTAD 2011, 2010 | INForum 2011 [CPLDA]
- as (Co-)Progam Chair: WTM 2013 | HVC 2011 | ITiCSE 2005
- as Posters Char: PADTAD 2006
- as Local Chair: Euro-Par 2021 [Topic 6], Euro-Par 2014 [Topic 15], Euro-Par 2008 [Topic 1]
- as Local (Co-)Organizer: INForum 2012 | Euro-Par 2005
- as PC Member: VecPar [2016]; MUSEPAT [ 2016, 2015, 2014, 2013 ]; HVC [ 2015, 2014, 2013, 2012, 2011, 2007, 2006 ]; PPAM [ present, … , 2013 ]; PADTAD [ 2012, …, 2006 ]; PEPA [ 2015, …, 2007 ]; VALID [ 2015, …, 2012 ]; WTM [ 2013 ]; NForum [ present, …, 2009 ]; SLATE [ 2012 ]; JETC [ 2015, 2009 ]; ITiCSE [ 2005 ];