He works at the Johann Bernoulli Institute of Mathematics and Computer Science, in the group “Fundamental Computing” (led by Prof. Gerard Renardel de Lavalette). He also holds a part-time affiliation at CWI, Amsterdam (“Formal Methods” group). Jorge carries out and supervises research on models of concurrency, semantics of programming languages, and the logical foundations of concurrency. Prior to his current position, Jorge was a postdoctoral fellow at NOVA University Lisbon (2010-2014) and a PhD student at the University of Bologna (2007-2010).