Current Members(223)

ASTReNet_Members

Mohammed A Aboulsamh, King's College London, UK

Samson Abramsky, Oxford University Computing Laboratory, UK

Kostas Adamopoulos, King's College London, UK

Jesus S. Aguilar-Ruiz, Universidad Pablo de Olavide, Sevilla, Spain

Enrique Alba, University of Malaga, Spain

Elvira Albert, Complutense University of Madrid, Spain

Kazhaw Al-Khaffaf, King's College London, UK

Noorazean Mohd Ali, Lancaster University, UK

Peter Amey, Praxis HIS, UK

Paul Anderson, GrammaTech, USA

Kelly Androutsopoulos, City University London, UK

Giuliano Antoniol, University of Sannio, Italy

Jim Armstrong, Loughborough University, UK

Kamel Ayary, École Polytechnique de Montréal, Canada

Connie Bao, Kings College London, UK

Steve Barker, Kings College London, UK

Richard Barraclough, Goldsmiths College, UK

Iain Bate, University of York, UK

Arthw Baws, Universidad Politécnica de Valencia, Spain

Eleni Berki, University of Tampere, Finland

Mirco Bianco, Free University of Bolzano/Bozen, Italy

Haider Bilal, London South Bank University, UK

David Binkley, Loyola College, USA

Sue Black, University of Westminster, UK

Darius Blasband, Phidani Software, UK

Paul Boca, Programming Research Ltd., UK

Egon Boerger, Universita di Pisa, Italy

Kirill Bogdanov, The University of Sheffield, UK

Behzad Bordbar, University of Birmingham, UK

Len Bottaci, Hull University, UK

Philipp Bouillon, FernUniversität in Hagen, Germany

Jonathan Bowen, Museophile Limited, UK

David Bowes, University of Hertfordshire, UK

Andrew Brown, University of Birmingham, UK

Ashley Brown, Imperial College, UK

Pearl Brereton, Keele University, UK

Silvia Breu, University of Cambridge, UK

Magiel Bruntink, Centrum voor Wiskunde en Informatica, Netherlands

Michael Butler, University of Southampton, UK

Elizabeth Burd, University of Durham, UK

Marcio Buss, Columbia University, USA

Mariano Ceccato, ITC-irst Trento, Italy

Peggy Cellier, IRISA, France

Rod Chapman, Praxis HIS, UK

Han Chen, Queen Mary University of London, UK

Francisco Chicano, University of Malaga, Spain

Alex Church, Context Information Security Ltd., UK

David Clark, Kings College London, UK

John Clark, University of York, UK

Tony Clark, Xactium Ltd., UK

Simon Clow, Context Information Security Ltd., UK

James R. Cordy, Queen's University, Canada

Luis Da Costa, IRISA, France

Steve Counsell, Brunel University, UK

Patrick Cousot, École Normale Supérieure, France

Hai Dan, Brunel University, UK

Sebastian Danicic, Goldsmiths College, UK

Dave Daoudi, Goldsmiths College, UK

Tom Dean, Queens University, UK

Karnig Derderian, Brunel University, UK

Paul Douglas, University of Westminster, UK

Mireille Ducassé, IRISA, France

Paul Emberson, University of York, UK

Mohammad El-Ramly, Faculy of Computer and Information, Cairo University, UK

Ran Ettinger, University of Oxford, UK

Deji Fatiregun, King's College London, UK

Maribel Fernández, King's College London, UK

Beat Fluri, University of Zurich, Switzerland

Chris Fox, University of Essex, UK

Mathias Fritzsche, SAP Research CEC Belfast, UK

Dennis Furey, London South Bank University, UK

Jamie Gabbay, King's College London, UK

Keith Gallagher, Durham University, UK

Han Gao, Technical University of Denmark, Denmark

Samir Genaim, Universidad Politecnica de Madrid, Spain

Roberto Giacobazzi, University of Verona, Italy

Mahmoud Abou Ghaly, London South Bank University, UK

Michael W. Godfrey, University of Waterloo, Canada

Michael Goedicke, University of Duisburg-Essen, Germany

Nicolas Gold, King's College London, UK

Pam Green, Hertfordshire University, UK

Alan Grosskurth, University of Waterloo, Canada

Qiang (Larry) Guo, The University of Sheffield, UK

Tibor Gyimóthy, University of Szeged, Hungary

Tracy Hall, Brunel University, UK

Christian Hammer, Universität Passau, Germany

Kevin Hammond, University of St. Andrews, UK

Mark Harman, King's College London, UK

Youssef Hassoun, King's College London, UK

John Hatcliff, Kansas State University, USA

Les Hatton , Kingston University, London, UK

Rob Hierons, Brunel University, UK

Mike Holcombe, Sheffield University, UK

Chris Holmes, Loughborough University, UK

Nigel Horspool, University of Victoria, Canada

John Howroyd, @UK PLC, UK

Lin Hu, King's College London, UK

Sebastian Hunt, City University, UK

Fayezin Islam, King's College London, UK

Syed Islam, King's College London, UK

Ambikesh Jayal, Brunel University, UK

Clive Jefferies, Keele University, UK

Yue Jia , King's College London, UK

Tao Jiang, King's College London, UK

Cliff Jones, Newcastle University, UK

Derek M Jones, Knowledge Software Limited, UK

Richard Jones, University of Kent, UK

Abdulsalam Kalaji, Brunel University, UK

Karl Trygve Kalleberg, University of Bergen, Norway

John Kanyaru, Bournemouth University, UK

Gregory Kapfhammer, Allegheny College Meadville, USA

Cory Kapser, University of Waterloo, Canada

Leonidas Kapsokalivas, King's College London, UK

Paul Kelly, Imperial College London, UK

Allan Kennedy, Kennedy Carter Ltd, UK

Andy King, University of Kent, UK

Ákos Kiss, University of Szeged, Hungary

Jens Knoop, Technische Universität Wien, Austria

Bogdan Korel, Illinois Institute of Technology, USA

Rainer Koschke, University of Bremen, Germany

Andreas Krall, The Vienna University of Technology, Austria

René Krikhaar, Vrije Universiteit, Netherlands

Jens Krinke, FernUniversitat in Hagen, Germany

Arun Lakhotia, University of Louisiana at Lafayette, USA

Kiran Lakhotia, King's College London, UK

Mike Laurence, King's College London, UK

Per Kristian Lehre, University of Birmingham, UK

Zheng Li, King's College London, UK

Christian Lindig, Saarland University, Germany

Jia Liu, King's College London, UK

Arthorn Luangsodsai, University of Essex, UK

Andrea De Lucia, University degli Studi di Salerno, Italy

Gabriel Luque, University of Málaga, Spain

Sprios Mancoridis, Drexel University, USA

S Afshin Mansouri, Brunel University, UK

Kiarash Mahdavi, King's College London, UK

Carolyn Mair, Brunel University, UK

Pasquale Malacaria, Queen Mary University of London, UK

Isabella Mastroeni, University of Verona, Italy

Carlos Matos, University of Leicester, UK

Andy Maule, University College London, UK

Chris McCulloch, King's College London, UK

Phil McMinn, Sheffield University, UK

Mercedes Merayo, Brunel University, UK

Tim Meyers, Loyola College, Maryland, USA

Nick Moffat , QinetiQ Ltd, UK

Leon Moonen, Simula Research Laboratory, Norway

Dimitris Mostrous, Imperial College London, UK

Chunyan Mu, King's College London, UK

Markus Müller-Olm, Universität Münster, Germany

Malcolm Munro, University of Durham, UK

Gasso Wilson Mwaluseke, London South Bank University, UK

Mohammad Nabulsi, Brunel University, UK

Sebastian Nanz, Technical University of Denmark, Denmark

Flemming Nielson, Technical University of Denmark, Denmark

Hanne Riis Nielson, Technical University of Denmark, Denmark

EKabua Obeten, London South Bank University, UK

Claudio Ochoa, Technical University of Madrid, Spain

Karen Osmond, Imperial College, UK

Lahcen Ouarbya, Goldsmiths College, UK

Richard E Overill, King's College London, UK

Richard Paige, University of York, UK

Catuscia Palamidessi, INRIA & Ecole Polytechnique, France

Massimiliano Di Penta, University of Sannio, Italy

Keith Phalp, Bournemouth University, UK

Iman Poernomo, King's College London, UK

Simon Poulding, University of York, UK

Huw Price, Grid-Tools, UK

Christian W. Probst, Technical University of Denmark, Denmark

Awais Rashid, Lancaster University, UK

Reind van de Riet, Vrije Universiteit amsterdam, Netherlands

Juergen Rilling, Concordia University, Canada

Genaína Rodrigues, University College London, UK

Nuno Miguel Feixa Rodrigues, Minho University, Portugal

Marc Roper, University of Strathclyde, UK

Michele Sama, University College London, UK

Marc Schlickling, Universität des Saarlandes, Germany

Marc Schoenauer, LRI, France

Markus Schordan, Vienna University of Technology, Austria

Sibylle Schupp, Chalmers University of Technology, Sweden

Martin Shepperd, Brunel University, UK

Aiwu Shi, Polytechnic University, USA

Axel Simon, University of Kent, UK

Jeremy Singer, University of Manchester, UK

Igor Siveroni, City University London, UK

Daniel Speicher, University of Bonn, Germany

Neta SpiroRoyal Holloway University of London, UK

Jim Steel, IRISA University of Rennes, France

Jaroslav Svacina, Fraunhofer FIRST, Germany

Simon Thompson, University of Kent, UK

Bhavani Thuraisingham, The University of Texas at Dallas, USA

Mike Thyer, UK

Terkel K. Tolstrup, Technical University of Denmark, Denmark

Paolo Tonella, Istituto Trentino di Cultura, Italy

Dimitris Togias, European Dynamics, Greece

Tom Tourwe, CWI Amsterdam, Netherlands

Laurence Tratt, King's College London, UK

Bheki Twala, Brunel University, UK

Michael Van De Vanter, Sun Microsystems, USA

Mathieu Verbaere, Oxford University, UK

Jurgen Vinju, Centrum voor Wiskunde en Informatica, Netherlands

Eelco Visser, Universiteit Utrecht, Netherlands

Tanja E.J. Vos, Universidad Politécnica de Valencia, Spain

Neil Walkinshaw, The University of Sheffield, UK

Stefan Wappler, DaimlerChrysler, Germany

Andrew Watson, OMG, UK

Paul Wernick, Herfordshire University, UK

David R. White, University of York, UK

Darrell Whitley, Colorado State University, USA

Brian Wichmann, UK

Herbert Wiklicky, Imperial College, UK

Andreas Winter, Universität Koblenz-Landau, Germany

Andreas Windisch, DaimlerChrysler, Germany

David Willmor, University of Manchester, UK

Bryan Wood, Computing Consultant, UK

Tao Xie, North Carolina State University, US

Xin Yao, University of Birmingham, UK

Shin Yoo, King's College London, UK

Nobuko Yoshida, Imperial College London, UK

Andreas Zeller, Universität Saarbrücken, Germany

Fan Zhang, Surrey University, UK

Min Zhang, University of Hertfordshire, UK

YuanYuan Zhang, King's College London, UK

Yongyan Zheng, Surrey University, UK