Our Members

First NameLast NameAffiliationWebpage
Charles Grellois University of Sheffield sites.google.com/sheffield.ac.uk/charles-grellois/
Giulio Guerrieri Univeristy of Sussex taroccoesbrocco.github.io/
James Harland RMIT University titan.csit.rmit.edu.au/~e24991/
Stefan Hetzl TU WIen www.dmg.tuwien.ac.at/hetzl/
Carl Hewitt MIT professorhewitt.blogspot.com/
Miguel Hidalgo Enseirb-Matmeca
Hans-Dieter Hiep Centrum Wiskunde & Informatica (CWI) hansdieterhiep.nl/
Ianis Himdi Laboratoire Méthodes Formelles http://
J. Roger Hindley Swansea, retired www.users.waitrose.com/~hindley/
Rosalie Iemhoff Utrecht University www.uu.nl/staff/RIemhoff
Luca Incurvati University of Amsterdam sites.google.com/site/lucaincurvati/home
Farzad Jafarrahmani Sorbonne Université, LIP6 sites.google.com/site/farzadjafarrahmani/
Gerhard Jäger University of Bern, retired www.inf.unibe.ch/about_us/people/emeriti/prof_em_dr_jaeger_gerhard/index_eng.html
Raheleh Jalali University of Bath sites.google.com/view/rahelehjalali
Ahmed JEDDI University of Lorraine
Jean-Baptiste JoInet Université de Lyon www-philo.univ-paris1.fr/Joinet
Joost Joosten University of Barcelona www.phil.uu.nl/~jjoosten/
Alex Kavvos University of Bristol www.lambdabetaeta.eu
Jordan Kilfoy Memorial University of Newfoundland http://
Dominik Kirst INRIA ps.uni-saarland.de/~kirst/index.php