IFIP WG 1.8: Concurrency Theory
List of DBLP Publications and CVs of the Current Members


Click on the name of the participant for his/her list of DBLP publications. A link to the participant's home page is provided when a CV is not yet available.


  1. Martin Abadi, UC Santa Cruz, USA [CV]
  2. Luca Aceto, Reykjavik University, Iceland, and BRICS and Aalborg University, DK [CV] (Chair of the WG)
  3. Roberto Amadio, UniversitÚ de Paris 7, FR [CV (in French)]
  4. Jos Baeten, Eindhoven University of Technology, NL [CV]
  5. Jan Bergstra, University of Amsterdam, NL [Home Page]
  6. Marco Bernardo, UniversitÓ di Urbino, I [CV]
  7. Gerard Boudol, INRIA Sophia-Antipolis, FR [CV]
  8. Luca Cardelli, Microsoft Research, UK [CV]
  9. Ilaria Castellani, INRIA Sophia-Antipolis, FR [Home Page]
  10. Flavio Corradini, UniversitÓ degli Studi di L'Aquila, I [Home Page]
  11. Vincent Danos, CNRS and Paris VII, FR [Home Page]
  12. Pedro D'Argenio, Universidad Nacional de Cˇrdoba, Argentina [CV]
  13. Luca de Alfaro, UC Santa Cruz, USA [CV]
  14. Rocco De Nicola, UniversitÓ di Firenze, I [CV]
  15. Zoltan Esik, University of Szeged, HU [Home Page]
  16. Wan Fokkink, Vrije Universiteit Amsterdam and CWI, NL [CV] (Vice-chair)
  17. Hubert Garavel, VERIMAG/Grenoble, FR [CV]
  18. Rob van Glabbeek, NICTA, Australia [CV]
  19. Andrew Gordon, Microsoft Research, UK [Home Page]
  20. Jan Friso Groote, Eindhoven University of Technology, NL [CV]
  21. Matthew Hennessy, Sussex, UK [Home Page]
  22. Holger Hermanns, Saarbruecken, DE [CV]
  23. Kohei Honda, Queen Mary College London, UK [CV]
  24. Anna Ingolfsdottir, reykjavik University, Iceland, and BRICS, Aalborg University, DK. [CV] (Secretary)
  25. Joost-Pieter Katoen, RWTH Aachen University, D, and University of Twente, NL [CV]
  26. Naoki Kobayashi, Tohuku University, JPN [CV]
  27. Orna Kupferman, Hebrew University, Jerusalem, IL [Home Page]
  28. Anna Labella, UniversitÓ di Roma "La Sapienza", I [CV]
  29. Cosimo Laneve, UniversitÓ di Bologna, I [CV]
  30. Kim G. Larsen, BRICS, CISS and Aalborg University, DK [CV]
  31. Huimin Lin, Chinese Academy of Sciences, CHN [CV]
  32. Xinxin Liu, Chinese Academy of Sciences, CHN
  33. Bas Luttik, Eindhoven University of Technology, NL [Home Page]
  34. George Milne, The University of Western Australia, Australia [Home Page]
  35. Ugo Montanari, UniversitÓ di Pisa, I [CV]
  36. Madhavan Mukund, Chennai, India [CV]
  37. Uwe Nestmann, TU Berlin, D [Home Page]
  38. Catuscia Palamidessi, INRIA/Futurs/Saclay, FR [CV]
  39. Prakash Panangaden, McGill, Canada [CV]
  40. Alban Ponse, University of Amsterdam, NL [Home Page]
  41. Corrado Priami, UniversitÓ di Trento, I [Home Page]
  42. Bill Roscoe, Oxford, UK [Home Page]
  43. Davide Sangiorgi, UniversitÓ di Bologna, I [CV]
  44. Steve Schneider, Royal Holloway, UK [CV]
  45. Scott Smolka, SUNY Sony Brook, USA [CV]
  46. Eugene Stark, SUNY Sony Brook, USA [CV]
  47. Colin Stirling, Edinburgh, UK [Home Page]
  48. P.S. Thiagarajan, Singapore University, Singapore [CV]
  49. Irek Ulidowski, University of Leicester, UK [Home Page]
  50. Moshe Vardi, Rice University, USA [Home Page and CV]
  51. Walter Vogler, Universitńt Augsburg, D [CV]
  52. Nobuko Yoshida, Imperial College, UK [CV]


Luca Aceto, Department of Computer Science, Aalborg University.
Last modified: .