Luís Pina

I am currently an Assistant Professor with the CS department at University of Illinois Chicago (UIC), since August of 2019.

Previously, I was a post-doc at George Mason University’s Department of Computer Science, from 2017 to 2019. I was part of the Software Reliability Group (SRG) at Imperial College London, from 2015 to 2017, part of the Programming Languages Group (PLUM) at University of Maryland from 2012 to 2015, and part of the Software Engineering Group (ESW) at INESC-ID in Lisbon from 2009 to 2012.

I hold a PhD on Information Systems and Computer Engineering from Instituto Superior Técnico, University of Lisbon, Portugal. I developed my dissertation under the supervision of Prof. Luís Veiga and Prof. Michael Hicks, focusing on making Dynamic Software Updates (DSU) practical.


E-mail: [ point here]
Address: Department of Computer Science
University of Illinois at Chicago
851 S. Morgan Street
Chicago, IL 60607-7053, USA
Office: Science and Engineering Offices, Room 1340


I work in the broad areas of software systems, programming languages, and software engineering. My research interests include: Fuzz testing and property testing, Dynamic Software Updating, Concurrent Programming (Multiprocessor Programming, Lock-free/Wait-free Algorithms and Data Structures), High Level Language Virtual Machines.

My full publication list is available here.



Current students

Past students


My research is generously supported by the following grants:


Current: CS454 - Principles of Concurrent Programming