PPLV people

Academic staff

• Samson Abramsky (Professor)
• Jade Alglave (Professor of Computer Science, on leave at ARM)
• Richard Bornat (Visiting Professor)
• James Brotherston (Reader in Logic and Computation)
• Byron Cook (Professor of Computer Science/Joint appointment with Amazon)
• Robin Hirsch (Professor of Mathematical Foundations of Computing)
• Peter O'Hearn (Professor of Computer Science, on leave at Facebook, part-time at UCL)
• Elaine Pimentel (Associate Professor)
• David Pym (Professor of Information, Logic, and Security and Head of Group)
• Quang Loc Le (Lecturer)
• Mehrnoosh Sadrzadeh (Associate Professor)
• Alexandra Silva (Professor at Cornell University, hosting ERC Consolidator team at PPLV)
• Fabio Zanasi (Professor)

Research Associates

• Tristian Caufield (Research Fellow)
• Diana Costa (Honorary Research Fellow)
• Fredrik Dahlqvist (Honorary Research Fellow)
• Alessandro Di Giorgio (Reserach Fellow)
• Estibaliz Fraca (Research Fellow)
• Alexander Gheorghiu (Research Fellow)
• Tao Gu (Research Fellow)
• Léo Henry (Research Fellow)
• Max Kanovich (Research Fellow)
• Martti Karvonen (Research Fellow)
• Timo Lang (Research Fellow)
• Robin Piedeleu (Research Fellow)
• Dr. Mina Abbaszadeh
• Dr Victor Barroso-Nascimento

Research Administrator

• Julia Savage (Research Administrator & PA to Professor David Pym)