Members of Informatics Section#
A | ||
Abiteboul, Serge (Membership Number: 3113) Research Area: DATA MANAGEMENT Ecole Normale Superieure de Cachan,FRANCE Date of election 2011 Member of section INFORMATICS | Abramsky, Samson (Membership Number: 1328) Research Area: COMPUTING Oxford University Computing Laboratory,UNITED KINGDOM Date of election 1993 Member of section INFORMATICS | Abrial, Jean-Raymond (Membership Number: 2405) Research Area: INFORMATICS FRANCE Date of election 2006 Member of section INFORMATICS |
Aceto, Luca (Membership Number: 3809) Research Area: CONCURRENCY THEORY Reykjavik University,ICELAND Date of election 2014 Member of section INFORMATICS | Ajmone Marsan, Marco (Membership Number: 3989) Research Area: COMPUTER NETWORKS Turin Technical University (Politecnico di Torino),ITALY Date of election 2015 Member of section INFORMATICS | André, Elisabeth (Membership Number: 2789) Research Area: COMPUTER SCIENCE Augsburg University,GERMANY Date of election 2010 Member of section INFORMATICS |
Apt, Krzysztof R. (Membership Number: 2406) Research Area: COMPUTER SCIENCE CWI,THE NETHERLANDS Date of election 2006 Member of section INFORMATICS | Ausiello, Giorgio (Membership Number: 1743) Research Area: COMPUTER SCIENCE Università 'La Sapienza',ITALY Date of election 1996 Member of section INFORMATICS | |
B | ||
Baader, Franz (Membership Number: 2935) Research Area: COMPUTER SCIENCE TU Dresden,GERMANY Date of election 2011 Member of section INFORMATICS | Back, Ralph-Johan (Membership Number: 1721) Research Area: COMPUTER SCIENCE Abo Akademi,FINLAND Date of election 1996 Member of section INFORMATICS | Baier, Christel (Membership Number: 2960) Research Area: AUTOMATA THEORY Technische Universität Dresden,GERMANY Date of election 2011 Member of section INFORMATICS |
Bal, Henri (Membership Number: 3504) Research Area: COMPUTER SYSTEMS VU University Amsterdam,THE NETHERLANDS Date of election 2013 Member of section INFORMATICS | Balke, Wolf-Tilo (Membership Number: 3491) Research Area: DATABASES AND INFORMATION SYSTEMS Technische Universität Braunschweig,GERMANY Date of election 2013 Member of section INFORMATICS | Barendregt, Hendrik (Membership Number: 1165) Research Area: COMPUTING & MATHEMATICS University of Nijmegen,THE NETHERLANDS Date of election 1992 Member of section INFORMATICS |
Becker, Bernd (Membership Number: 3107) Research Area: COMPUTER-AIDED DESIGN University of Freiburg,GERMANY Date of election 2011 Member of section INFORMATICS | Benini, Luca (Membership Number: 2790) Research Area: COMPUTER SCIENCE Universita di Bologna,ITALY Date of election 2010 Member of section INFORMATICS | Bergstra, Johannes A. (Membership Number: 2362) Research Area: COMPUTER SCIENCE THE NETHERLANDS Date of election 2006 Member of section INFORMATICS |
Berry, Gérard (Membership Number: 1404) Research Area: COMPUTING FRANCE Date of election 1993 Member of section INFORMATICS | Bischof, Horst (Membership Number: 3144) Research Area: INFORMATICS Graz University of Technology,AUSTRIA Date of election 2012 Member of section INFORMATICS | Bjørner, Dines (Membership Number: 1010) Research Area: COMPUTING DENMARK Date of election 1991 Member of section INFORMATICS |
Bjørstad, Petter E. (Membership Number: 2298) Research Area: MATHEMATICS & COMPUTER SCIENCE University of Bergen,NORWAY Date of election 2005 Member of section INFORMATICS | Blikle, Andrzej (Membership Number: 1474) Research Area: COMPUTING POLAND Date of election 1993 Member of section INFORMATICS | Boerger, Egon (Membership Number: 2791) Research Area: COMPUTER SCIENCE Universita di Pisa,ITALY Date of election 2010 Member of section INFORMATICS |
Brandenburg, Karlheinz (Membership Number: 4338) Research Area: MEDIA TECHNOLOGY Technische Universität Ilmenau / Fraunhofer,GERMANY Date of election 2016 Member of section INFORMATICS | Brassard, Gilles (Membership Number: 3141) Research Area: INFORMATICS Université de Montréal,CANADA Date of election 2011 Member of section INFORMATICS | Bratko, Ivan (Membership Number: 2871) Research Area: ARTIFICIAL INTELLIGENCE University of Ljubljana,SLOVENIA Date of election 2010 Member of section INFORMATICS |
Broy, Manfred (Membership Number: 1076) Research Area: COMPUTING Technische Universität München,GERMANY Date of election 1991 Member of section INFORMATICS | Brunet, Pere (Membership Number: 2792) Research Area: COMPUTER GRAPHICS SPAIN Date of election 2010 Member of section INFORMATICS | Buchberger, Bruno (Membership Number: 1125) Research Area: SYMBOLIC COMPUTATION Johannes Kepler University,AUSTRIA Date of election 1991 Member of section INFORMATICS |
Buneman, Peter (Membership Number: 4622) Research Area: INFORMATICS University of Edinburgh,UNITED KINGDOM Date of election 2017 Member of section INFORMATICS | Burstall, Rodney (Membership Number: 297) Research Area: COMPUTING UNITED KINGDOM Date of election 1989 Member of section INFORMATICS | |
C | ||
Cai, Jin-Yi (Membership Number: 4500) Research Area: COMPUTER SCIENCE University of Wisconsin-Madison,UNITED STATES Date of election 2017 Member of section INFORMATICS | Calude, Cristian S. (Membership Number: 2519) Research Area: INFORMATICS University of Auckland,NEW ZEALAND Date of election 2008 Member of section INFORMATICS | Cani, Marie-Paule (Membership Number: 3640) Research Area: COMPUTER GRAPHICS INP Grenoble and INRIA,FRANCE Date of election 2013 Member of section INFORMATICS |
Cardelli, Luca (Membership Number: 2363) Research Area: COMPUTER SCIENCE Microsoft Research Ltd.,UNITED KINGDOM Date of election 2006 Member of section INFORMATICS | Castagna, Giuseppe (Membership Number: 3036) Research Area: INFORMATICS PPS,FRANCE Date of election 2011 Member of section INFORMATICS | Ceri, Stefano (Membership Number: 3089) Research Area: WEB & DATA MANAGEMENT Dipartimento di Elettronica, Informazione e Bioingegneria,ITALY Date of election 2011 Member of section INFORMATICS |
Ciobanu, Gabriel (Membership Number: 4549) Research Area: COMPUTER SCIENCE Romanian Academy of Sciences, Iasi,ROMANIA Date of election 2017 Member of section INFORMATICS | Coquand, Thierry (Membership Number: 2909) Research Area: COMPUTER SCIENCE University of Gothenburg,SWEDEN Date of election 2011 Member of section INFORMATICS | Cortadella, Jordi (Membership Number: 3478) Research Area: COMPUTER SCIENCE Universitat Politècnica de Catalunya,SPAIN Date of election 2013 Member of section INFORMATICS |
Cousot, Patrick (Membership Number: 2398) Research Area: INFORMATICS FRANCE Date of election 2006 Member of section INFORMATICS | ||
D | ||
De Micheli, Giovanni (Membership Number: 2826) Research Area: INFORMATICS Ecole Polytechnique Federale de Lausanne,SWITZERLAND Date of election 2010 Member of section INFORMATICS | De Nicola, Rocco (Membership Number: 3088) Research Area: INFORMATICS IMT - Inst. for Advanced Study,ITALY Date of election 2011 Member of section INFORMATICS | Dershowitz, Nachum (Membership Number: 3477) Research Area: COMPUTATIONAL LOGIC Tel Aviv University,ISRAEL Date of election 2013 Member of section INFORMATICS |
Dezani-Ciancaglini, Mariangiola (Membership Number: 1496) Research Area: COMPUTING Dipartimento di Informatica,ITALY Date of election 1993 Member of section INFORMATICS | ||
