Formal Methods Wiki
Don't have an account?
Register
Register
in: Formal methods, People, Virtual Library

Changes: Who's who

Back to page
View source
No edit summary
No edit summary
 
(25 intermediate revisions by 11 users not shown)
Line 62: Line 62:
 
# [http://research.microsoft.com/users/mbarnett/ Barnett, Michael]
  
# [http://research.microsoft.com/users/mbarnett/ Barnett, Michael]
 
# [http://www.cs.man.ac.uk/fmethods/people/howard.html Barringer, Howard]
  
# [http://www.cs.man.ac.uk/fmethods/people/howard.html Barringer, Howard]
−
# [http://mcs.open.ac.uk/lmb3/ Barroca, Leonor] [[Image:new.gif]]
 +
# [http://mcs.open.ac.uk/lmb3/ Barroca, Leonor]
 
# [http://lmf.di.uminho.pt/jbb/ Barros, José Bernardo]
  
# [http://lmf.di.uminho.pt/jbb/ Barros, José Bernardo]
 
# [http://www-sop.inria.fr/lemme/personnel/Gilles.Barthe/ Barthe, Gilles]
  
# [http://www-sop.inria.fr/lemme/personnel/Gilles.Barthe/ Barthe, Gilles]
Line 94: Line 94:
 
# [http://www.cl.cam.ac.uk/users/rjb/ Boulton, Richard]
  
# [http://www.cl.cam.ac.uk/users/rjb/ Boulton, Richard]
 
# [http://www.intec.rug.ac.be/groupsites/formal/BoutHome.htm Boute, Raymond]
  
# [http://www.intec.rug.ac.be/groupsites/formal/BoutHome.htm Boute, Raymond]
−
# [http://jpbowen.googlepages.com/ Bowen, Jonathan P.] [[Image:new.gif|!]]
 +
# [http://www.jpbowen.com/ Bowen, Jonathan P.]
 
# [http://www.cs.utexas.edu/users/boyer/ Boyer, Robert S.]
  
# [http://www.cs.utexas.edu/users/boyer/ Boyer, Robert S.]
 
# [http://www.dcs.napier.ac.uk/~osg/dboyle/ Boyle, Dave]
  
# [http://www.dcs.napier.ac.uk/~osg/dboyle/ Boyle, Dave]
Line 100: Line 100:
 
# [http://www.dur.ac.uk/~dcs0spb/ Bradley, Steven]
  
# [http://www.dur.ac.uk/~dcs0spb/ Bradley, Steven]
 
# [http://www.poboxes.com/jan.bredereke Bredereke, Jan]
  
# [http://www.poboxes.com/jan.bredereke Bredereke, Jan]
  +
# [http://www-di.inf.puc-rio.br/~karin/ Breitman, Karin]
 
# [http://www.it.uc3m.es/~ptb/ Breuer, Peter]
  
# [http://www.it.uc3m.es/~ptb/ Breuer, Peter]
 
# [http://www.fi.muni.cz/usr/brim/ Brim, Lubos]
  
# [http://www.fi.muni.cz/usr/brim/ Brim, Lubos]
Line 132: Line 133:
 
# [http://www.itee.uq.edu.au/people/staff/davec.html Carrington, David]
  
# [http://www.itee.uq.edu.au/people/staff/davec.html Carrington, David]
 
# [http://www.cs.utexas.edu/users/carruth/ Carruth, Al]
  
# [http://www.cs.utexas.edu/users/carruth/ Carruth, Al]
  +
# [http://www3.uma.pt/ncatano/home/Home.html Cataño, Néstor]
 
# [http://www.cse.dmu.ac.uk/~cau/ Cau, Antonio]
  
# [http://www.cse.dmu.ac.uk/~cau/ Cau, Antonio]
 
# [http://www.di.ufpe.br/~alcc/ Cavalcanti, Ana]
  
# [http://www.di.ufpe.br/~alcc/ Cavalcanti, Ana]
 
# [http://www-lor.int-evry.fr/~anna/ Cavalli, Ana Rosa]
  
# [http://www-lor.int-evry.fr/~anna/ Cavalli, Ana Rosa]
−
# [http://www.itee.uq.edu.au/~antonio/ Cerone, Antonio]
 +
# [http://www.iist.unu.edu/index.php/people/216-dr-antonio-cerone Cerone, Antonio]
−
# [http://www.cse.iitb.ernet.in/people/upage_supratik.php Chakraborty, Supratik]
 +
# [http://www.cse.iitb.ac.in/~supratik Chakraborty, Supratik]
 
# [http://www.gm.com/experience/technology/research/overview/isl/csemt.jsp Chakrapani Rao, Arun]
  
# [http://www.gm.com/experience/technology/research/overview/isl/csemt.jsp Chakrapani Rao, Arun]
 
# [http://www.cs.concordia.ca/~chalin/ Chalin, Patrice]
  
# [http://www.cs.concordia.ca/~chalin/ Chalin, Patrice]
Line 278: Line 280:
   
 
=== '''G:''' ===
  
=== '''G:''' ===
−
# [http://syslab2.mech.okayama-u.ac.jp/staff/gabbar/hsm-details-e.html Gabbar, Hossam]
 +
# [http://syslab2.mech.okayama-u.ac.jp/staff/gabbar/hsm-details-e.html Gabbar, Hossam]
−
# [http://www.dcs.kcl.ac.uk/staff/dg/ Gabby, Dov]
 +
# [http://www.dcs.kcl.ac.uk/staff/dg/ Gabby, Dov]
−
# [http://www.well.com/user/armen/ Gabrielian, Armen]
 +
# [http://www.well.com/user/armen/ Gabrielian, Armen]
−
# [http://www.cs.york.ac.uk/~andyg/ Galloway, Andy]
 +
# [http://www.cs.york.ac.uk/~andyg/ Galloway, Andy]
−
# [http://www.mpi-sb.mpg.de/~hg/ Ganzinger, Harald]
 +
# [http://www.mpi-sb.mpg.de/~hg/ Ganzinger, Harald]
−
# [http://www.inrialpes.fr/vasy/people/Hubert.Garavel/ Garavel, Hubert]
 +
# [http://vasy.inria.fr/people/Hubert.Garavel/ Garavel, Hubert]
−
# [http://www.cs.cmu.edu/~garlan/ Garlan, David]
 +
# [http://www.cs.cmu.edu/~garlan/ Garlan, David]
−
# [http://larch-www.lcs.mit.edu/~garland/ Garland, Stephen J.]
 +
# [http://larch-www.lcs.mit.edu/~garland/ Garland, Stephen J.]
−
# [http://www.lri.fr/people/mcg.html Gaudel, Marie-Claude]
 +
# [http://www.lri.fr/people/mcg.html Gaudel, Marie-Claude]
−
# [http://www.cs.rhbnc.ac.uk/people/staff/gay.shtml Gay, Simon]
 +
# [http://www.cs.rhbnc.ac.uk/people/staff/gay.shtml Gay, Simon]
−
# [http://www.iist.unu.edu/~cwg/ George, Chris]
 +
# [http://www.iist.unu.edu/~cwg/ George, Chris]
−
# [http://www.roir.com/bios.htm Gerhart, Susan]
 +
# [http://www.roir.com/bios.htm Gerhart, Susan]
−
# [http://www.mcs.le.ac.uk/~nghani/ Ghani, Neil]
 +
# [http://www.mcs.le.ac.uk/~nghani/ Ghani, Neil]
−
# [http://www.elet.polimi.it/people/ghezzi/ Ghezzi, Carlo]
 +
# [http://www.elet.polimi.it/people/ghezzi/ Ghezzi, Carlo]
−
# [http://www.uow.edu.au/~aditya/ Ghose, Aditya K.]
 +
# [http://www.uow.edu.au/~aditya/ Ghose, Aditya K.]
−
# [http://profs.sci.univr.it/~giaco/ Giacobazzi, Roberto]
 +
# [http://profs.sci.univr.it/~giaco/ Giacobazzi, Roberto]
−
# [http://www.cs.tcd.ie/Hugh.Gibbons/ Gibbons, Hugh]
 +
# [http://www.cs.tcd.ie/Hugh.Gibbons/ Gibbons, Hugh]
−
# [http://web.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html Gibbons, Jeremy]
 +
# [http://web.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html Gibbons, Jeremy]
−
# [http://www.cs.may.ie/~pgibson/ Gibson, Paul]
 +
# [http://www.cs.may.ie/~pgibson/ Gibson, Paul]
−
# [http://www.dcs.ed.ac.uk/home/stg/ Gilmore, Stephen]
 +
# [http://www.dcs.ed.ac.uk/home/stg/ Gilmore, Stephen]
−
# [http://iml.univ-mrs.fr/~girard/ Girard, Jean-Yves]
 +
# [http://iml.univ-mrs.fr/~girard/ Girard, Jean-Yves]
−
# [http://www.mrg.dist.unige.it/~enrico/ Giunchiglia, Enrico]
 +
# [http://www.mrg.dist.unige.it/~enrico/ Giunchiglia, Enrico]
−
# [http://www.cs.sfu.ca/~glaesser/ Glässer, Uwe]
 +
# [http://www.cs.sfu.ca/~glaesser/ Glässer, Uwe]
−
# [http://www.iei.pi.cnr.it/People/Gnesi.html Gnesi, Stefania]
 +
# [http://www.iei.pi.cnr.it/People/Gnesi.html Gnesi, Stefania]
−
# [http://www.bell-labs.com/user/god/ Godefroid, Patrice]
 +
# [http://www.bell-labs.com/user/god/ Godefroid, Patrice]
−
# [http://www.informatik.uni-kiel.de/~wg/ Goerigk, Wolfgang]
 +
# [http://www.informatik.uni-kiel.de/~wg/ Goerigk, Wolfgang]
−
# [http://www-cse.ucsd.edu/users/goguen/ Goguen, Joseph]
 +
# [http://www-cse.ucsd.edu/users/goguen/ Goguen, Joseph]
−
# [http://www.doc.ic.ac.uk/~sjg/ Goldsack, Stephen]
 +
# [http://www.doc.ic.ac.uk/~sjg/ Goldsack, Stephen]
−
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Good:Donald_I=.html Good, Donald I.]
 +
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Good:Donald_I=.html Good, Donald I.]
−
# [http://ericgill.mdx.ac.uk/~howard/ Goodman, Howard S.]
 +
# [http://ericgill.mdx.ac.uk/~howard/ Goodman, Howard S.]
−
# [http://www.fzi.de/divisions/prost/people/ggoos.html Goos, Gerhard]
 +
# [http://www.fzi.de/divisions/prost/people/ggoos.html Goos, Gerhard]
−
# [http://www.cs.utah.edu/~ganesh/ Gopalakrishnan, Ganesh]
 +
# [http://www.cs.utah.edu/~ganesh/ Gopalakrishnan, Ganesh]
−
# [http://research.microsoft.com/~adg/ Gordon, Andrew]
 +
# [http://research.microsoft.com/~adg/ Gordon, Andrew]
−
# [http://www.cl.cam.ac.uk/users/mjcg/ Gordon, Mike] FRS
 +
# [http://www.cl.cam.ac.uk/users/mjcg/ Gordon, Mike] FRS
−
# [http://www.cs.unibo.it/~gorrieri/ Gorrieri, Roberto]
 +
# [http://www.cs.unibo.it/~gorrieri/ Gorrieri, Roberto]
−
# [http://www.cs.man.ac.uk/fmethods/people/graham-gough.html Gough, Graham]
 +
# [http://www.cs.man.ac.uk/fmethods/people/graham-gough.html Gough, Graham]
−
# [http://www.ecs.soton.ac.uk/~amg/ Gravell, Andy]
 +
# [http://www.ecs.soton.ac.uk/~amg/ Gravell, Andy]
−
# [http://www.cs.cornell.edu/Info/People/gries/gries.html Gries, David]
 +
# [http://www.cs.cornell.edu/Info/People/gries/gries.html Gries, David]
−
# [http://www.cs.tu-berlin.de/~wg/ Grieskamp, Wolfgang]
 +
# [http://www.cs.tu-berlin.de/~wg/ Grieskamp, Wolfgang]
−
# [http://www.cs.rug.nl/~rix/ Groenboom, Rix]
 +
# [http://www.cs.rug.nl/~rix/ Groenboom, Rix]
−
# [http://www.win.tue.nl/~jfg/ Groote, Jan Friso]
 +
# [http://www.win.tue.nl/~jfg/ Groote, Jan Friso]
−
# [http://www.mcs.vuw.ac.nz/people/Lindsay-Groves.shtml Groves, Lindsay]
 +
# [http://www.mcs.vuw.ac.nz/people/Lindsay-Groves.shtml Groves, Lindsay]
−
# [http://www.cs.technion.ac.il/users/orna/ Grumberg, Orna]
 +
# [http://www.cs.technion.ac.il/users/orna/ Grumberg, Orna]
−
# [http://www.abo.fi/~jgrundy/ Grundy, Jim]
 +
# [http://www.abo.fi/~jgrundy/ Grundy, Jim]
−
# [http://www.math.bas.bg/~gelevdp/ Guelev, Dimitar P.]
 +
# [http://www.math.bas.bg/~gelevdp/ Guelev, Dimitar P.]
−
# [http://www.adelard.co.uk/info/staff/sguerra.htm Guerra, Sofia]
 +
# [http://www.adelard.co.uk/info/staff/sguerra.htm Guerra, Sofia]
−
# [http://www-faculty.cs.uiuc.edu/~cgunter/ Gunter, Carl A.]
 +
# [http://www-faculty.cs.uiuc.edu/~cgunter/ Gunter, Carl A.]
−
# [http://www.research.microsoft.com/~gurevich/ Gurevich, Yuri]
 +
# [http://www.research.microsoft.com/~gurevich/ Gurevich, Yuri]
−
# [http://larch-www.lcs.mit.edu/~guttag/ Guttag, John V.]
 +
# [http://larch-www.lcs.mit.edu/~guttag/ Guttag, John V.]
   
 
=== '''H:''' ===
  
=== '''H:''' ===
−
# [http://www.sciences.univ-nantes.fr/info/perso/permanents/habrias/ Habrias, Henri]
 +
# [http://www.sciences.univ-nantes.fr/info/perso/permanents/habrias/ Habrias, Henri]
−
# [http://www.lamsade.dauphine.fr/~haddad/ Haddad, Serge]
 +
# [http://www.lamsade.dauphine.fr/~haddad/ Haddad, Serge]
−
# [http://www.cse.chalmers.se/~reiner/ Hähnle, Reiner]
 +
# [http://www.cse.chalmers.se/~reiner/ Hähnle, Reiner]
−
# [http://www-verimag.imag.fr/PEOPLE/Nicolas.Halbwachs/ Halbwachs, Nicolas]
 +
# [http://www-verimag.imag.fr/PEOPLE/Nicolas.Halbwachs/ Halbwachs, Nicolas]
−
# [http://www.cam.sri.com/html/r_hale.html Hale, Roger]
 +
# [http://www.cam.sri.com/html/r_hale.html Hale, Roger]
 
# [http://www.computing.open.ac.uk/People/j.g.hall Hall, Jon]
  
# [http://www.computing.open.ac.uk/People/j.g.hall Hall, Jon]
 
# [http://mcs.open.ac.uk/pah7/ Hall, Pat]
  
# [http://mcs.open.ac.uk/pah7/ Hall, Pat]
−
# [http://www.cs.stir.ac.uk/~agh/ Hamilton, Alan]
 +
# [http://www.cs.stir.ac.uk/~agh/ Hamilton, Alan]
−
# [http://www.cs.pdx.edu/~hamlet/ Hamlett, Dick]
 +
# [http://www.cs.pdx.edu/~hamlet/ Hamlett, Dick]
−
# [http://www.doc.ic.ac.uk/chris.html Hankin, Chris]
 +
# [http://www.doc.ic.ac.uk/chris.html Hankin, Chris]
−
# [http://www.cs.ukc.ac.uk/people/staff/fkh/ Hanna, Keith]
 +
# [http://www.cs.ukc.ac.uk/people/staff/fkh/ Hanna, Keith]
−
# [http://www.it.dtu.dk/Userinfo/UK/info_user/Bo_Stig_Hansen.html Hansen, Bo Stig]
 +
# [http://www.it.dtu.dk/Userinfo/UK/info_user/Bo_Stig_Hansen.html Hansen, Bo Stig]
−
# [http://www.id.dtu.dk/~kmh/ Hansen, Kirsten Mark]
 +
# [http://www.id.dtu.dk/~kmh/ Hansen, Kirsten Mark]
−
# [http://www.id.dtu.dk/~mrh/ Hansen, Michael R.]
 +
# [http://www.id.dtu.dk/~mrh/ Hansen, Michael R.]
−
# [http://www.wisdom.weizmann.ac.il/~harel/ Harel, David]
 +
# [http://www.wisdom.weizmann.ac.il/~harel/ Harel, David]
−
# [http://www.dcs.kcl.ac.uk/staff/mark/ Harman, Mark]
 +
# [http://www.dcs.kcl.ac.uk/staff/mark/ Harman, Mark]
−
# [http://www.swan.ac.uk/compsci/AllStaff/NAH.html Harman, Neal]
 +
# [http://www.swan.ac.uk/compsci/AllStaff/NAH.html Harman, Neal]
−
# [http://www.cl.cam.ac.uk/users/jrh/ Harrison, John]
 +
# [http://www.cl.cam.ac.uk/users/jrh/ Harrison, John]
−
# [http://www.cs.york.ac.uk/~mdh/ Harrison, Michael]
 +
# [http://www.cs.york.ac.uk/~mdh/ Harrison, Michael]
−
# [http://www.csr.ncl.ac.uk/clubs/scsc_articles/Will_harwood.html Harwood, Will]
 +
# [http://www.csr.ncl.ac.uk/clubs/scsc_articles/Will_harwood.html Harwood, Will]
−
# [http://ase.arc.nasa.gov/havelund/ Havelund, Klaus]
 +
# [http://www.havelund.com Havelund, Klaus]
−
# [http://www.it.dtu.dk/~ah/ Haxthausen, Anne Elisabeth]
 +
# [http://www.it.dtu.dk/~ah/ Haxthausen, Anne Elisabeth]
−
# [http://www.cs.uq.edu.au/~ianh/ Hayes, Ian]
 +
# [http://www.cs.uq.edu.au/~ianh/ Hayes, Ian]
−
# [http://shemesh.larc.nasa.gov/people/kjh/ Hayhurst, Kelly J.]
 +
# [http://shemesh.larc.nasa.gov/people/kjh/ Hayhurst, Kelly J.]
−
# [http://www.cs.wits.ac.za/~scott/ Hazelhurst, Scott]
 +
# [http://www.cs.wits.ac.za/~scott/ Hazelhurst, Scott]
−
# [http://www.iist.unu.edu/~jifeng/ He, Jifeng]
 +
# [http://www.iist.unu.edu/~jifeng/ He, Jifeng]
−
# [http://www.cs.ndsu.nodak.edu/~hex/ He, Xudong]
 +
# [http://www.cs.ndsu.nodak.edu/~hex/ He, Xudong]
−
# [http://www.computing.surrey.ac.uk/staff/JHeather.htm Heather, James]
 +
# [http://www.computing.surrey.ac.uk/staff/JHeather.htm Heather, James]
−
# [http://www.cwi.nl/~jan/ Heering, Jan]
 +
# [http://www.cwi.nl/~jan/ Heering, Jan]
−
# [http://wwwtios.cs.utwente.nl/~heerink/ Heerink, Lex]
 +
# [http://wwwtios.cs.utwente.nl/~heerink/ Heerink, Lex]
−
# [http://www.cs.utoronto.ca/DCS/People/Faculty/hehner.html Hehner, Eric]
 +
# [http://www.cs.utoronto.ca/DCS/People/Faculty/hehner.html Hehner, Eric]
−
# [http://www.it.dtu.dk/~sh/ Heilmann, Søren T.]
 +
# [http://www.it.dtu.dk/~sh/ Heilmann, Søren T.]
−
# [http://chacs.nrl.navy.mil/personnel/heitmeyer.html Heitmeyer, Constance L.]
 +
# [http://chacs.nrl.navy.mil/personnel/heitmeyer.html Heitmeyer, Constance L.]
−
# [http://www.ecs.soton.ac.uk/~ph/ Henderson, Peter]
 +
# [http://www.ecs.soton.ac.uk/~ph/ Henderson, Peter]
−
# [http://www.cogs.susx.ac.uk/users/matthewh/ Hennessy, Matthew]
 +
# [http://www.cogs.susx.ac.uk/users/matthewh/ Hennessy, Matthew]
−
# [http://cswww.essex.ac.uk/FSS/people/hensm-hp.html Henson, Martin]
 +
# [http://cswww.essex.ac.uk/FSS/people/hensm-hp.html Henson, Martin]
−
# [http://www-cad.eecs.berkeley.edu/~tah/ Henzinger, Tom]
 +
# [http://www-cad.eecs.berkeley.edu/~tah/ Henzinger, Tom]
−
# [http://www.cs.ucc.ie/staff/jherbert.html Herbert, John]
 +
# [http://www.cs.ucc.ie/staff/jherbert.html Herbert, John]
−
# [http://lml.ls.fi.upm.es/~angel/ Herranz-Nieva, Ángel]
 +
# [http://lml.ls.fi.upm.es/~angel/ Herranz-Nieva, Ángel]
−
# [http://www.noodles.demon.co.uk/ Hewitt, Mark]
 +
# [http://www.noodles.demon.co.uk/ Hewitt, Mark]
−
# [http://www.brunel.ac.uk/~csstrmh/ Hierons, Rob]
 +
# [http://www.brunel.ac.uk/~csstrmh/ Hierons, Rob]
−
# [http://www.scs.leeds.ac.uk/scs/public/staff/hill.html Hill, Pat]
 +
# [http://www.scs.leeds.ac.uk/scs/public/staff/hill.html Hill, Pat]
−
# [http://homepages.inf.ed.ac.uk/jeh/ Hillston, Jane]
 +
# [http://homepages.inf.ed.ac.uk/jeh/ Hillston, Jane]
−
# [http://www.iiit.vt.edu/itnews/oct_2002/hinchey.htm Hinchey, Mike]
 +
# [http://www.iiit.vt.edu/itnews/oct_2002/hinchey.htm Hinchey, Mike]
−
# [http://www.research.microsoft.com/~thoare/ Hoare, Sir Tony] FRS
 +
# [http://www.research.microsoft.com/~thoare/ Hoare, Sir Tony] FRS
−
# [http://www.scs.leeds.ac.uk/scs/public/staff/hogin.html Hobley, Keith]
 +
# [http://www.scs.leeds.ac.uk/scs/public/staff/hogin.html Hobley, Keith]
−
# [http://www-ti.informatik.uni-tuebingen.de/~hoff/ Hoffman, Dirk]
 +
# [http://www-ti.informatik.uni-tuebingen.de/~hoff/ Hoffman, Dirk]
−
# [http://www.informatik.uni-kiel.de/~uho/ Hoffman, Ulrich]
 +
# [http://www.informatik.uni-kiel.de/~uho/ Hoffman, Ulrich]
−
# [http://www.doc.ic.ac.uk/~cjh/home.html Hogger, Chris]
 +
# [http://www.doc.ic.ac.uk/~cjh/home.html Hogger, Chris]
−
# [http://www.dcs.shef.ac.uk/~wmlh/ Holcombe, Mike]
 +
# [http://www.dcs.shef.ac.uk/~wmlh/ Holcombe, Mike]
−
# [http://shemesh.larc.nasa.gov/people/cmh/ Holloway, C. Michael]
 +
# [http://shemesh.larc.nasa.gov/people/cmh/ Holloway, C. Michael]
−
# [http://www.spinroot.com/gerard/ Holzmann, Gerard]
 +
# [http://www.spinroot.com/gerard/ Holzmann, Gerard]
−
# [http://www.cse.ogi.edu/~hook/hook.html Hook, James]
 +
# [http://www.cse.ogi.edu/~hook/hook.html Hook, James]
−
# [http://www.cs.kun.nl/~hooman/ Hooman, Jozef]
 +
# [http://www.cs.kun.nl/~hooman/ Hooman, Jozef]
−
# [http://www.informatik.uni-kiel.de/~hmh/hmh.html Hörcher, Hans-Martin]
 +
# [http://www.informatik.uni-kiel.de/~hmh/hmh.html Hörcher, Hans-Martin]
−
# [http://cm.bell-labs.com/cm/cs/who/howe/ Howe, Douglas J.]
 +
# [http://cm.bell-labs.com/cm/cs/who/howe/ Howe, Douglas J.]
−
# [http://www.horning.net/pro-home.html Horning, Jim]
 +
# [http://www.horning.net/pro-home.html Horning, Jim]
−
# [http://www.iis.sinica.edu.tw/~eric/ Hsiung, Pao-Ann (Eric)]
 +
# [http://www.iis.sinica.edu.tw/~eric/ Hsiung, Pao-Ann (Eric)]
−
# [http://www.cs.ubc.ca/~ajh/ Hu, Alan J.]
 +
# [http://www.cs.ubc.ca/~ajh/ Hu, Alan J.]
−
# [http://www.cs.ru.nl/~hubbers/ Hubbers, Engelbert]
 +
# [http://www.cs.ru.nl/~hubbers/ Hubbers, Engelbert]
−
# [http://pauillac.inria.fr/~huet/ Huet, Gérard]
 +
# [http://pauillac.inria.fr/~huet/ Huet, Gérard]
−
# [http://www.kettering.edu/~jhuggins/ Huggins, Jim]
 +
# [http://www.kettering.edu/~jhuggins/ Huggins, Jim]
−
# [http://www.cs.tcd.ie/Arthur.Hughes/ Hughes, Arthur]
 +
# [http://www.cs.tcd.ie/Arthur.Hughes/ Hughes, Arthur]
−
# [http://www.cs.chalmers.se/~rjmh/ Hughes, John]
 +
# [http://www.cs.chalmers.se/~rjmh/ Hughes, John]
−
# [http://www.it.dtu.dk/~henrik/ Hulgaard, Henrik]
 +
# [http://www.it.dtu.dk/~henrik/ Hulgaard, Henrik]
−
# [http://www.iist.unu.edu/~dvh/ Hung, Dang Van]
 +
# [http://www.iist.unu.edu/~dvh/ Hung, Dang Van]
−
# [http://www.cs.utexas.edu/users/hunt/ Hunt Jr., Warren A.]
 +
# [http://www.cs.utexas.edu/users/hunt/ Hunt Jr., Warren A.]
−
# [http://www.gilith.com/about/ Hurd, Joe] [[Image:new.gif]]
 +
# [http://www.gilith.com/about/ Hurd, Joe]
−
# [http://www.lboro.ac.uk/departments/co/personal_pages/hussak.html Hussak, Walter]
 +
# [http://www.lboro.ac.uk/departments/co/personal_pages/hussak.html Hussak, Walter]
−
# [http://www.csc.liv.ac.uk/~ullrich/ Hustadt, Ullrich]
 +
# [http://www.csc.liv.ac.uk/~ullrich/ Hustadt, Ullrich]
−
# [http://www.cs.auc.dk/~hans/index-eng.html Hüttel, Hans]
 +
# [http://www.cs.auc.dk/~hans/index-eng.html Hüttel, Hans]
−
# [http://www.dfki.de/vse/staff/hutter/ Hutter, Dieter]
 +
# [http://www.dfki.de/vse/staff/hutter/ Hutter, Dieter]
−
# [http://www.cs.nott.ac.uk/~gmh/ Hutton, Graham]
 +
# [http://www.cs.nott.ac.uk/~gmh/ Hutton, Graham]
   
 
=== '''I:''' ===
  
=== '''I:''' ===
Line 416: Line 418:
 
# [http://www.first.gmd.de/persons/Jaehnichen.Stefan.html Jähnichen, Stefan]
  
# [http://www.first.gmd.de/persons/Jaehnichen.Stefan.html Jähnichen, Stefan]
 
# [http://www.dcss.mcmaster.ca/~janicki/ Janicki, Ryszard]
  
# [http://www.dcss.mcmaster.ca/~janicki/ Janicki, Ryszard]
−
# [http://www.iist.unu.edu/~tj/ Janowski, Tomasz]
 +
# [http://www.iist.unu.edu/index.php/people/278-dr-tomasz-janowski Janowski, Tomasz]
 
# [http://www.informatik.uni-oldenburg.de/~janssen/ Janssen, Wil]
  
# [http://www.informatik.uni-oldenburg.de/~janssen/ Janssen, Wil]
 
# [http://www.irisa.fr/triskell/perso_pro/jard/home.html Jard, Claude]
  
# [http://www.irisa.fr/triskell/perso_pro/jard/home.html Jard, Claude]
Line 467: Line 469:
 
# [http://agent.informatik.uni-kl.de/kronburg/PRIVAT/ENGLISCH/kronenburg.html Kronenburg, Martin]
  
# [http://agent.informatik.uni-kl.de/kronburg/PRIVAT/ENGLISCH/kronenburg.html Kronenburg, Martin]
 
# [http://www.ora.on.ca/personnel/kromo.html Kromodimoeljo, Sentot]
  
# [http://www.ora.on.ca/personnel/kromo.html Kromodimoeljo, Sentot]
  +
# [http://www.kroening.com/ Kröning, Daniel] <!-- 11 Jul 2010 -->
 
# [http://goethe.ira.uka.de/~kropf/ Kropf, Thomas]
  
# [http://goethe.ira.uka.de/~kropf/ Kropf, Thomas]
 
# [http://neil.pwr.eng.osaka-u.ac.jp/~kumagai/ Kumagai, Sadatoshi]
  
# [http://neil.pwr.eng.osaka-u.ac.jp/~kumagai/ Kumagai, Sadatoshi]
Line 472: Line 475:
 
# [http://wwwseti.cs.utwente.nl/~jankuper/ Kuper, Jan]
  
# [http://wwwseti.cs.utwente.nl/~jankuper/ Kuper, Jan]
 
# [http://cm.bell-labs.com/cm/cs/who/k/ Kurshan, Bob]
  
# [http://cm.bell-labs.com/cm/cs/who/k/ Kurshan, Bob]
−
# [http://web.comlab.ox.ac.uk/Marta.Kwiatkowska/ Kwiatkowska, Marta] [[Image:New.gif]]
 +
# [http://web.comlab.ox.ac.uk/Marta.Kwiatkowska/ Kwiatkowska, Marta]
   
 
=== '''L:''' ===
  
=== '''L:''' ===
Line 519: Line 522:
 
# [http://wwwcms.brookes.ac.uk/internet/staff/personal_pages/lightfoot.htm Lightfoot, David]
  
# [http://wwwcms.brookes.ac.uk/internet/staff/personal_pages/lightfoot.htm Lightfoot, David]
 
# [http://cis.k.hosei.ac.jp/~sliu/ Liu, Shaoying]
  
# [http://cis.k.hosei.ac.jp/~sliu/ Liu, Shaoying]
−
# [http://www.mcs.le.ac.uk/~zliu/ Liu, Zhiming]
 +
# [http://www.iist.unu.edu/index.php/people/214-dr-zhiming-liu Liu, Zhiming]
 
# [http://www.di.uminho.pt/~jal/ Lima, José Augusto]
  
# [http://www.di.uminho.pt/~jal/ Lima, José Augusto]
 
# [http://www.cs.bris.ac.uk/~jwl/ Lloyd, John]
  
# [http://www.cs.bris.ac.uk/~jwl/ Lloyd, John]
Line 533: Line 536:
 
# [http://www.cs.rhul.ac.uk/home/zhaohui/ Luo, Zhaohui]
  
# [http://www.cs.rhul.ac.uk/home/zhaohui/ Luo, Zhaohui]
 
# [http://www.informatik.uni-bremen.de/~cxl/ Lüth, Christoph]
  
# [http://www.informatik.uni-bremen.de/~cxl/ Lüth, Christoph]
  +
# [http://www.swt-bamberg.de/luettgen/ Lüttgen, Gerald]
 
# [http://theory.lcs.mit.edu/~lynch/ Lynch, Nancy]
  
# [http://theory.lcs.mit.edu/~lynch/ Lynch, Nancy]
   
Line 626: Line 630:
 
# [http://pauillac.inria.fr/~nestmann/ Nestmann, Uwe]
  
# [http://pauillac.inria.fr/~nestmann/ Nestmann, Uwe]
 
# [http://www.csl.sri.com/~neumann/ Neumann, Peter G.]
  
# [http://www.csl.sri.com/~neumann/ Neumann, Peter G.]
  +
# [http://www-i2.informatik.rwth-aachen.de/i2/nguyen/ Nguyen, Viet Yen]
 
# [http://www.imag.fr/VERIMAG/PEOPLE/Xavier.Nicollin/ Nicollin, Xavier]
  
# [http://www.imag.fr/VERIMAG/PEOPLE/Xavier.Nicollin/ Nicollin, Xavier]
 
# [http://www.mcs.vuw.ac.nz/people/Ray-Nickson.shtml Nickson, Ray]
  
# [http://www.mcs.vuw.ac.nz/people/Ray-Nickson.shtml Nickson, Ray]
Line 635: Line 640:
 
# [http://myweb.lsbu.ac.uk/~nissanke/ Nissanke, Nimal]
  
# [http://myweb.lsbu.ac.uk/~nissanke/ Nissanke, Nimal]
 
# [http://dblp.uni-trier.de/db/indices/a-tree/n/Nordahl@Jens.html Nordahl, Jens]
  
# [http://dblp.uni-trier.de/db/indices/a-tree/n/Nordahl@Jens.html Nordahl, Jens]
  +
−
<!-- # [http://dalila.sip.ucm.es/~manolo/ N��ez, Manuel] -->
  
 
=== '''O:''' ===
  
=== '''O:''' ===
 
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/O=Halloran:Colin.html O'Halloran, Colin]
  
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/O=Halloran:Colin.html O'Halloran, Colin]
Line 700: Line 705:
 
=== '''Q:''' ===
  
=== '''Q:''' ===
 
# [http://www.dur.ac.uk/shengchao.qin/ Qin, Shengchao]
  
# [http://www.dur.ac.uk/shengchao.qin/ Qin, Shengchao]
  +
 
=== '''R:''' ===
  
=== '''R:''' ===
−
# [http://www.dit.upm.es/~grabay/ Rabay Filho, Gualberto]
 +
# [http://www.dit.upm.es/~grabay/ Rabay Filho, Gualberto]
−
# [http://www.csl.sri.com/sree/sree.html Rajan, Sreeranga P.]
 +
# [http://www.csl.sri.com/sree/sree.html Rajan, Sreeranga P.]
−
# [http://www.imsc.ernet.in/~jam/ Ramanujam, R.]
 +
# [http://www.imsc.ernet.in/~jam/ Ramanujam, R.]
−
# [http://www.cse.iitb.ernet.in/~ramesh/ Ramesh, S.]
 +
# [http://www.cse.iitb.ernet.in/~ramesh/ Ramesh, S.]
−
# [http://www.cs.auc.dk/~apr/ Ravn, Anders P.]
 +
# [http://www.cs.auc.dk/~apr/ Ravn, Anders P.]
−
# [http://cs.armstrong.edu/joy/ Reed, Joy]
 +
# [http://cs.armstrong.edu/joy/ Reed, Joy]
−
# [http://www.iist.unu.edu/~mike/ Reed, Mike]
 +
# [http://www.iist.unu.edu/~mike/ Reed, Mike]
−
# [http://www.cs.waikato.ac.nz/~stever/ Reeves, Steve]
 +
# [http://www.cs.waikato.ac.nz/~stever/ Reeves, Steve]
−
# [http://www.informatik.hu-berlin.de/~reisig/ Reisig, Wolfgang]
 +
# [http://www.informatik.hu-berlin.de/~reisig/ Reisig, Wolfgang]
−
# [http://www.cs.cmu.edu/~jcr/ Reynolds, John C.]
 +
# [http://www.win.tue.nl/~michelr/ Reniers, Michel A.]
−
# [http://www1.ics.uci.edu/~djr/ Richardson, Debra]
 +
# [http://www.cs.cmu.edu/~jcr/ Reynolds, John C.]
−
# [http://www.id.dtu.dk/~rischel/ Rischel, Hans]
 +
# [http://www1.ics.uci.edu/~djr/ Richardson, Debra]
−
# [http://www.dci.clrc.ac.uk/Person.asp?B.Ritchie Ritchie, Brian]
 +
# [http://www.id.dtu.dk/~rischel/ Rischel, Hans]
−
# [http://www.shu.ac.uk/schools/cms/teaching/crr/ Roast, Chris]
 +
# [http://www.dci.clrc.ac.uk/Person.asp?B.Ritchie Ritchie, Brian]
−
# [http://www.inria.fr/meije/personnel/Monica.Robert.html Robert, Monica]
 +
# [http://www.shu.ac.uk/schools/cms/teaching/crr/ Roast, Chris]
−
# [http://www.cse.unsw.edu.au/school/people/info/kenr.html Robinson, Ken]
 +
# [http://www.inria.fr/meije/personnel/Monica.Robert.html Robert, Monica]
−
# [http://www.itee.uq.edu.au/people/staff/pjr.html Robinson, Peter]
 +
# [http://www.cse.unsw.edu.au/school/people/info/kenr.html Robinson, Ken]
  +
# [http://www.itee.uq.edu.au/people/staff/pjr.html Robinson, Peter]
 
# [http://www.cs.wustl.edu/~roman/ Roman, Gruia-Catalin]
  
# [http://www.cs.wustl.edu/~roman/ Roman, Gruia-Catalin]
−
# [http://www.win.tue.nl/~jromijn/ Romijn, Judi]
 +
# [http://www.win.tue.nl/~jromijn/ Romijn, Judi]
−
# [http://web.comlab.ox.ac.uk/oucl/people/bill.roscoe.html Roscoe, Bill]
 +
# [http://web.comlab.ox.ac.uk/oucl/people/bill.roscoe.html Roscoe, Bill]
−
# [http://www.sciences.univ-nantes.fr/info/perso/permanents/royer/ Royer, Jean-Claude]
 +
# [http://i12www.ira.uka.de/~aroth/ Roth, Andreas]
−
# [http://www.liacs.nl/~rozenber/ Rozenberg, Grzegorz]
 +
# [http://www.emn.fr/z-info/jroyer/ Royer, Jean-Claude]
−
# [http://www.csl.sri.com/users/ruess/ Ruess, Harald]
 +
# [http://www.liacs.nl/~rozenber/ Rozenberg, Grzegorz]
−
# [http://goethe.ira.uka.de/~ruf/ Ruf, Jürgen]
 +
# [http://www.csl.sri.com/users/ruess/ Ruess, Harald]
−
# [http://www4.informatik.tu-muenchen.de/~rumpe/ Rumpe, Bernhard]
 +
# [http://goethe.ira.uka.de/~ruf/ Ruf, Jürgen]
−
# [http://www.csl.sri.com/users/rushby/ Rushby, John]
 +
# [http://www.se-rwth.de/~rumpe/ Rumpe, Bernhard]
−
# [http://www.loria.fr/~rusi/ Rusinowitch, Michael]
 +
# [http://www.csl.sri.com/users/rushby/ Rushby, John]
−
# [http://www.agrj.com.br/ Russo Jr, Aryldo G]
 +
# [http://www.loria.fr/~rusi/ Rusinowitch, Michael]
−
# [http://homepages.cwi.nl/~janr/ Rutten, Jan]
 +
# [http://www.agrj.com.br/ Russo Jr, Aryldo G]
−
# [http://www.cs.bham.ac.uk/~mdr/ Ryan, Mark]
 +
# [http://homepages.cwi.nl/~janr/ Rutten, Jan]
−
# [http://www.cs.man.ac.uk/fmethods/people/der/der.html Rydeheard, David E.]
 +
# [http://www.cs.bham.ac.uk/~mdr/ Ryan, Mark]
  ⚫
# [http://www.cs.man.ac.uk/fmethods/people/der/der.html Rydeheard, David E.]
   
 
=== '''S:''' ===
  
=== '''S:''' ===
−
# [http://www.ora.on.ca/personnel/saaltink.html Saaltink, Mark]
 +
# [http://www.ora.on.ca/personnel/saaltink.html Saaltink, Mark]
−
# [http://www.grs.de/istec/encress/fs.htm Saglietti, Francesca]
 +
# [http://www.grs.de/istec/encress/fs.htm Saglietti, Francesca]
−
# [http://cs.unomaha.edu/hossein/ Saiedian, Hossein]
 +
# [http://cs.unomaha.edu/hossein/ Saiedian, Hossein]
−
# [http://www.di.ufpe.br/~acas/ Sampaio, Augusto]
 +
# [http://www.di.ufpe.br/~acas/ Sampaio, Augusto]
−
# [http://www.dit.upm.es/~lsanchez/ Sánchez Fernández, Luis]
 +
# [http://www.dit.upm.es/~lsanchez/ Sánchez Fernández, Luis]
−
# [http://www.cise.ufl.edu/~sanders/ Sanders, Beverly A.]
 +
# [http://www.cise.ufl.edu/~sanders/ Sanders, Beverly A.]
−
# [http://web.comlab.ox.ac.uk/oucl/people/jeff.sanders.html Sanders, Jeff]
 +
# [http://www.iist.unu.edu/index.php/people/232-dr-jeff-sanders Sanders, Jeff]
−
# [http://cswww.essex.ac.uk/FSS/people/sands-hp.html Sanderson, Michael]
 +
# [http://cswww.essex.ac.uk/FSS/people/sands-hp.html Sanderson, Michael]
−
# [http://www.inria.fr/meije/personnel/Davide.Sangiorgi.html Sangiorgi, Davide]
 +
# [http://www.inria.fr/meije/personnel/Davide.Sangiorgi.html Sangiorgi, Davide]
−
# [http://xenon.stanford.edu/~sankar/ Sankar, Sriram]
 +
# [http://xenon.stanford.edu/~sankar/ Sankar, Sriram]
−
# [http://homepages.inf.ed.ac.uk/dts/ Sannella, Don]
 +
# [http://homepages.inf.ed.ac.uk/dts/ Sannella, Don]
−
# [http://www.first.gmd.de/~santen/ Santen, Thomas]
 +
# [http://www.first.gmd.de/~santen/ Santen, Thomas]
−
# [http://www.shinsahara.com/ Sahara, Shin]
 +
# [http://www.shinsahara.com/ Sahara, Shin]
−
# [http://www.cogs.susx.ac.uk/users/vs/ Sassone, Vladimiro]
 +
# [http://www.cogs.susx.ac.uk/users/vs/ Sassone, Vladimiro]
−
# [http://www.is.ocha.ac.jp/~ichiro/ Satoh, Ichiro]
 +
# [http://www.is.ocha.ac.jp/~ichiro/ Satoh, Ichiro]
−
# [http://www.personal.reading.ac.uk/~sis99ms/ Satpathy, Manoranjan]
 +
# [http://www.personal.reading.ac.uk/~sis99ms/ Satpathy, Manoranjan]
−
# [http://www.cis.upenn.edu/~scedrov/ Scedrov, Andre]
 +
# [http://www.cis.upenn.edu/~scedrov/ Scedrov, Andre]
−
# [http://theoretica.informatik.uni-oldenburg.de/personal/Schenke.Michael.e.html Schenke, Michael]
 +
# [http://theoretica.informatik.uni-oldenburg.de/personal/Schenke.Michael.e.html Schenke, Michael]
−
# [http://www.fokus.fraunhofer.de/research/cc/tip/employees/ina.schieferdecker/ Schieferdecker, Ina]
 +
# [http://www.fokus.fraunhofer.de/research/cc/tip/employees/ina.schieferdecker/ Schieferdecker, Ina]
−
# [http://www.cis.ksu.edu/~schmidt/home.html Schmidt, Dave]
 +
# [http://www.cis.ksu.edu/~schmidt/home.html Schmidt, Dave]
−
# [http://www.cs.cornell.edu/Info/Faculty/Fred_Schneider.html Schneider, Fred]
 +
# [http://www.cs.cornell.edu/Info/Faculty/Fred_Schneider.html Schneider, Fred]
−
# [http://goethe.ira.uka.de/~schneider/ Schneider, Klaus]
 +
# [http://www.cse.chalmers.se/~gersch/ Schneider, Gerardo] [[Image:new.gif|((New)]]
−
# [http://www.cs.rhbnc.ac.uk/people/staff/schneider.shtml Schneider, Steve]
 +
# [http://goethe.ira.uka.de/~schneider/ Schneider, Klaus]
−
# [http://www.info.fundp.ac.be/~pys/ Schobbens, Pierre-Yves]
 +
# [http://www.cs.rhbnc.ac.uk/people/staff/schneider.shtml Schneider, Steve]
−
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Scholefield:David.html Scholefield, David]
 +
# [http://www.info.fundp.ac.be/~pys/ Schobbens, Pierre-Yves]
−
# [http://www.research.microsoft.com/users/schulte/ Schulte, Wolfram]
 +
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Scholefield:David.html Scholefield, David]
  +
# [http://www.research.microsoft.com/users/schulte/ Schulte, Wolfram]
−
# [http://www.ee.surrey.ac.uk/showstaff?S.Schuman Schuman, Stephen], [[Image:New.gif|(New)]]
  
−
# [http://www.brics.dk/~mis/ Schwartzbach, Michael I.]
 +
# [http://www.ee.surrey.ac.uk/showstaff?S.Schuman Schuman, Stephen]
−
# [http://www.mathematik.uni-muenchen.de/~schwicht/ Schwichtenberg, Helmut]
 +
# [http://www.brics.dk/~mis/ Schwartzbach, Michael I.]
  +
# [http://www.mathematik.uni-muenchen.de/~schwicht/ Schwichtenberg, Helmut]
−
# [http://c.gp.cs.cmu.edu:5103/prog/finger/scott+ Scott, Dana]
  
−
# [http://www.cas.mcmaster.ca/~emil/ Sekerinski, Emil]
 +
# [http://c.gp.cs.cmu.edu:5103/prog/finger/scott+ Scott, Dana]
−
# [http://www.epsrc.ac.uk/progs/area/it_cs/syseng.htm Semple, Dominic]
 +
# [http://www.cas.mcmaster.ca/~emil/ Sekerinski, Emil]
−
# [http://www.newcastle.research.ec.org/deva/contacts/uk-dra-sennett.html Sennett, Chris]
 +
# [http://www.epsrc.ac.uk/progs/area/it_cs/syseng.htm Semple, Dominic]
−
# [http://www.abo.fi/~kaisa/ Sere, Kaisa]
 +
# [http://www.newcastle.research.ec.org/deva/contacts/uk-dra-sennett.html Sennett, Chris]
−
# [http://www.inrialpes.fr/vasy/people/Wendelin.Serwe/ Serwe, Wendelin]
 +
# [http://www.abo.fi/~kaisa/ Sere, Kaisa]
−
# [http://www.dina.kvl.dk/~sestoft/ Sestoft, Peter]
 +
# [http://www.inrialpes.fr/vasy/people/Wendelin.Serwe/ Serwe, Wendelin]
  +
# [http://www.dina.kvl.dk/~sestoft/ Sestoft, Peter]
  +
# Seth, Anil
 
# [http://www.cl.cam.ac.uk/users/pes20/ Sewell, Peter]
  
# [http://www.cl.cam.ac.uk/users/pes20/ Sewell, Peter]
−
# [http://www.csl.sri.com/users/shankar/ Shankar, Natarajan]
 +
# [http://www.csl.sri.com/users/shankar/ Shankar, Natarajan]
−
# [http://www.cs.stir.ac.uk/~ces/ Shankland, Carron]
 +
# [http://www.cs.stir.ac.uk/~ces/ Shankland, Carron]
−
# [http://www.cse.ogi.edu/~sheard/sheard.html Sheard, Tim]
 +
# [http://www.cse.ogi.edu/~sheard/sheard.html Sheard, Tim]
−
# [http://www.cs.chalmers.se/~ms/ Sheeran, Mary]
 +
# [http://www.cs.chalmers.se/~ms/ Sheeran, Mary]
−
# [http://www.inmos.co.uk/~des/welcome.html Shepherd, David]
 +
# [http://www.inmos.co.uk/~des/welcome.html Shepherd, David]
−
# [http://www.computing.surrey.ac.uk/staff/MShields.htm Shields, Mike]
 +
# [http://www.computing.surrey.ac.uk/staff/MShields.htm Shields, Mike]
−
# [http://www.cs.albany.edu/~sandeep/ Shukla, Sandeep]
 +
# [http://www.cs.albany.edu/~sandeep/ Shukla, Sandeep]
−
# [http://www.tcs.tifr.res.in/~shyam/ Shyamasundar, R.K.]
 +
# [http://www.tcs.tifr.res.in/~shyam/ Shyamasundar, R.K.]
−
# [http://www.shu.ac.uk/schools/research/mitri/crc/jawed/jawed.html Siddiqi, Jawed]
 +
# [http://www.shu.ac.uk/schools/research/mitri/crc/jawed/jawed.html Siddiqi, Jawed]
−
# [http://www.dfki.de/vse/staff/siekmann/ Siekmann, Jörg]
 +
# [http://www.dfki.de/vse/staff/siekmann/ Siekmann, Jörg]
−
# [http://www.imag.fr/VERIMAG/PEOPLE/Joseph.Sifakis/ Sifakis, Joseph]
 +
# [http://www.imag.fr/VERIMAG/PEOPLE/Joseph.Sifakis/ Sifakis, Joseph]
−
# [http://www.dcs.shef.ac.uk/~ajhs/ Simons, Anthony]
 +
# [http://research.nianet.org/~radu/ Siminiceanu, Radu]
−
# [http://www.it.bton.ac.uk/staff/ds33/ Simpson, Dan]
 +
# [http://www.dcs.shef.ac.uk/~ajhs/ Simons, Anthony]
−
# [http://www.dcs.warwick.ac.uk/pub/people/staff/Jane.Sinclair/ Sinclair, Jane]
 +
# [http://www.it.bton.ac.uk/staff/ds33/ Simpson, Dan]
−
# [http://www.dcs.glasgow.ac.uk/~satnam/ Singh, Satnam]
 +
# [http://www.dcs.warwick.ac.uk/pub/people/staff/Jane.Sinclair/ Sinclair, Jane]
−
# [http://theory.stanford.edu/~sipma/ Sipma, Henny]
 +
# [http://www.dcs.glasgow.ac.uk/~satnam/ Singh, Satnam]
−
# [http://www.eecs.uic.edu/~sistla/ Sistla, A. Prasad]
 +
# [http://theory.stanford.edu/~sipma/ Sipma, Henny]
−
# [http://www.cse.iitb.ernet.in/~siva/ Sivakumar, G.]
 +
# [http://www.eecs.uic.edu/~sistla/ Sistla, A. Prasad]
−
# [http://sprout.stanford.edu/jus/ Skakkebæk, Jens Ulrik]
 +
# [http://www.cse.iitb.ernet.in/~siva/ Sivakumar, G.]
−
# [http://dream.dai.ed.ac.uk/group/smaill/ Smaill, Alan]
 +
# [http://sprout.stanford.edu/jus/ Skakkebæk, Jens Ulrik]
−
# [http://www.kestrel.edu/home/people/smith/ Smith, Douglas]
 +
# [http://dream.dai.ed.ac.uk/group/smaill/ Smaill, Alan]
−
# [http://www.itee.uq.edu.au/people/staff/smith.html Smith, Graeme]
 +
# [http://www.kestrel.edu/home/people/smith/ Smith, Douglas]
−
# [http://www.cs.sunysb.edu/~sas/ Smolka, Scott A.]
 +
# [http://www.itee.uq.edu.au/people/staff/smith.html Smith, Graeme]
−
# [http://ece-www.colorado.edu/faculty/somenzi.html Somenzi, Fabio]
 +
# [http://www.cs.sunysb.edu/~sas/ Smolka, Scott A.]
−
# [http://www.csl.sri.com/users/sorea/ Sorea, Maria]
 +
# [http://ece-www.colorado.edu/faculty/somenzi.html Somenzi, Fabio]
−
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/S=oslash=rensen:Ib.html Sørensen, Ib Holm]
 +
# [http://www.csl.sri.com/users/sorea/ Sorea, Maria]
−
# [http://www.city.academic.gr/staff/profile.asp?Id=3 Sotiriadou, Anna]
 +
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/S=oslash=rensen:Ib.html Sørensen, Ib Holm]
−
# [http://web.comlab.ox.ac.uk/oucl/people/mike.spivey.html Spivey, Mike]
 +
# [http://www.city.academic.gr/staff/profile.asp?Id=3 Sotiriadou, Anna]
−
# [http://www.cs.colostate.edu/~srimani/ Srimani, Pradip]
 +
# [http://web.comlab.ox.ac.uk/oucl/people/mike.spivey.html Spivey, Mike]
−
# [http://www.csl.sri.com/srivas/srivas.html Srivas, Mandayam]
 +
# [http://www.cs.colostate.edu/~srimani/ Srimani, Pradip]
−
# [http://www.cs.yorku.ca/~zbigniew/ Stachniak, Zbigniew]
 +
# [http://www.csl.sri.com/srivas/srivas.html Srivas, Mandayam]
−
# [http://www.dcs.shef.ac.uk/~mps/ Stannett, Mike]
 +
# [http://www.cs.yorku.ca/~zbigniew/ Stachniak, Zbigniew]
−
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Staples:John.html Staples, John]
 +
# [http://www.dcs.shef.ac.uk/~mps/ Stannett, Mike]
−
# [http://www.cs.sunysb.edu/~stark/ Stark, Eugene]
 +
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Staples:John.html Staples, John]
−
# [http://www.inf.ethz.ch/~staerk/ Stärk, Robert]
 +
# [http://www.cs.sunysb.edu/~stark/ Stark, Eugene]
−
# [http://www.bell-labs.com/~markstas/ Staskauskas, Mark]
 +
# [http://www.inf.ethz.ch/~staerk/ Stärk, Robert]
−
# [http://www.id.dtu.dk/~jst/ Staunstrup, Jørgen]
 +
# [http://www.bell-labs.com/~markstas/ Staskauskas, Mark]
−
# [http://www.sdl.sri.com/people/victoria.html Stavridou, Victoria]
 +
# [http://www.id.dtu.dk/~jst/ Staunstrup, Jørgen]
−
# [http://funinf.math.unibuc.ro/~ghstef/ Stefanescu, Gheorghe]
 +
# [http://www.sdl.sri.com/people/victoria.html Stavridou, Victoria]
−
# [http://www.informatik.uni-kiel.de/~ms/ Steffen, Martin]
 +
# [http://funinf.math.unibuc.ro/~ghstef/ Stefanescu, Gheorghe]
−
# [http://www.dfki.uni-sb.de/vse/staff/stephan/ Stephan, Werner]
 +
# [http://www.informatik.uni-kiel.de/~ms/ Steffen, Martin]
−
# [http://www-users.cs.york.ac.uk/~susan/ Stepney, Susan]
 +
# [http://www.dfki.uni-sb.de/vse/staff/stephan/ Stephan, Werner]
−
# [http://www.dcs.ed.ac.uk/home/cps/ Stirling, Chris]
 +
# [http://www-users.cs.york.ac.uk/~susan/ Stepney, Susan]
−
# [http://www.cs.rutgers.edu/~pstocks/ Stocks, Phil]
 +
# [http://www.dcs.ed.ac.uk/home/cps/ Stirling, Chris]
  +
# [http://apps.bond.edu.au/staff/profile.asp?s_id=126 Stocks, Phil]
⚫
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stoddart:Bill.html Stoddart, Bill]
  
−
# [http://www.ifi.uio.no/~ketils/ Stölen, Ketil]
 +
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stoddart:Bill.html Stoddart, Bill]
−
# [http://www.lboro.ac.uk/departments/co/personal_pages/stone.html Stone, Roger]
 +
# [http://www.ifi.uio.no/~ketils/ Stölen, Ketil]
−
# [http://oldwww.comlab.ox.ac.uk/oucl/people/joe.stoy.html Stoy, Joe]
 +
# [http://www.lboro.ac.uk/departments/co/personal_pages/stone.html Stone, Roger]
−
# [http://www.rtl.njit.edu/rtcl_pub_html/Mosaic/member/facu/alex.html Stoyenko, Alexander]
 +
# [http://oldwww.comlab.ox.ac.uk/oucl/people/joe.stoy.html Stoy, Joe]
−
# [http://www.csl.sri.com/users/dave_sc/ Stringer-Calvert, David]
 +
# [http://www.rtl.njit.edu/rtcl_pub_html/Mosaic/member/facu/alex.html Stoyenko, Alexander]
−
# [http://www.irisa.fr/EXTERNE/projet/lande/sudholt/ Süholt, Mario]
 +
# [http://www.csl.sri.com/users/dave_sc/ Stringer-Calvert, David]
  +
# [http://www.irisa.fr/EXTERNE/projet/lande/sudholt/ Süholt, Mario]
⚫
# [http://web.comlab.ox.ac.uk/oucl/people/bernard.sufrin.html Sufrin, Bernard]
  
−
# [http://www.cs.auckland.ac.nz/~jingsun/ Sun, Jing]
 +
# [http://web.comlab.ox.ac.uk/oucl/people/bernard.sufrin.html Sufrin, Bernard]
−
# [http://www.cisr.swin.edu.au/~paul/ Swatman, Paul]
 +
# [http://www.cs.auckland.ac.nz/~jingsun/ Sun, Jing]
  +
# [http://www.cisr.swin.edu.au/~paul/ Swatman, Paul]
  +
 
=== '''T:''' ===
  
=== '''T:''' ===
 
# [http://www.comp.brad.ac.uk/html/c_staff_profile.php3?usercode=ktaguchi Taguchi, Kenji]
  
# [http://www.comp.brad.ac.uk/html/c_staff_profile.php3?usercode=ktaguchi Taguchi, Kenji]
Line 832: Line 844:
 
# [http://lifc.univ-fcomte.fr/~tatibouet/ Tatibouet, Bruno]
  
# [http://lifc.univ-fcomte.fr/~tatibouet/ Tatibouet, Bruno]
 
# [http://www.cs.umb.edu/~rlt/ Tenney, Richard L.]
  
# [http://www.cs.umb.edu/~rlt/ Tenney, Richard L.]
  +
# [http://fmt.isti.cnr.it/~mtbeek/ ter Beek, Maurice] [[Image:new.gif|((New)]]
 
# [http://www.smi.ernet.in/people/pst.html Thiagarajan, P.S.]
  
# [http://www.smi.ernet.in/people/pst.html Thiagarajan, P.S.]
 
# [http://www.cs.mdx.ac.uk/harold/ Thimbleby, Harold]
  
# [http://www.cs.mdx.ac.uk/harold/ Thimbleby, Harold]
Line 888: Line 901:
   
 
=== '''W:''' ===
  
=== '''W:''' ===
−
# [http://homepages.inf.ed.ac.uk/wadler/ Wadler, Philip]
 +
# [http://homepages.inf.ed.ac.uk/wadler/ Wadler, Philip]
−
# [http://www.amsta.leeds.ac.uk/pure/staff/wainer/wainer.html Wainer, Stan S.]
 +
# [http://www.amsta.leeds.ac.uk/pure/staff/wainer/wainer.html Wainer, Stan S.]
−
# [http://www.abo.fi/~marina.walden/ Wald&eacute;n, Marina]
 +
# [http://www.abo.fi/~marina.walden/ Wald&eacute;n, Marina]
−
# [http://oldwww.comlab.ox.ac.uk/oucl/people/lincoln.wallen.html Wallen, Lincoln]
 +
# [http://oldwww.comlab.ox.ac.uk/oucl/people/lincoln.wallen.html Wallen, Lincoln]
−
# [http://www.cs.york.ac.uk/~icw/ Wand, Ian]
 +
# [http://www.cs.york.ac.uk/~icw/ Wand, Ian]
−
# [http://www.ccs.neu.edu/groups/faculty/wand.html Wand, Mitchell]
 +
# [http://www.ccs.neu.edu/groups/faculty/wand.html Wand, Mitchell]
−
# [http://www.cse.dmu.ac.uk/~mward/ Ward, Martin]
 +
# [http://www.nec-labs.com/~chaowang Wang, Chao]
−
# [http://www.comp.brad.ac.uk/Staff/homes/prwatson.html Watson, Phil]
 +
# [http://www.cse.dmu.ac.uk/~mward/ Ward, Martin]
−
# [http://www.tfh-berlin.de/~weberwu/ Weber-Wulff, Debora]
 +
# [http://www.comp.brad.ac.uk/Staff/homes/prwatson.html Watson, Phil]
  +
# [http://www.f4.htw-berlin.de/~weberwu/ Weber-Wulff, Debora]
−
# [http://wsooti24.win.tue.nl:1234/haroldw/haroldw.html Weffers, Harold T. G.][http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Welsh:Jim.html Welsh, Jim]
  
  ⚫
# [http://wsooti24.win.tue.nl:1234/haroldw/haroldw.html Weffers, Harold T. G.][http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Welsh:Jim.html Welsh, Jim]
−
# [http://scom.hud.ac.uk/scommmw/ West, Margaret]
  
−
# [http://myweb.lsbu.ac.uk/~csse/robin.html Whitty, Robin]
 +
# [http://scom.hud.ac.uk/scommmw/ West, Margaret]
−
# [http://www.npl.co.uk/cgi-bin/staff.pl?Brian+Wichmann Wichmann, Brian]
 +
# [http://myweb.lsbu.ac.uk/~csse/robin.html Whitty, Robin]
−
# [http://www.cert.fr/francais/deri/wiels/ Wiels, Virginie]
 +
# [http://www.npl.co.uk/cgi-bin/staff.pl?Brian+Wichmann Wichmann, Brian]
−
# [http://hokiepokie.org/docs Wilding, Matthew M.]
 +
# [http://www.cert.fr/francais/deri/wiels/ Wiels, Virginie]
−
# [http://www.cs.uni-sb.de/~wilhelm/ Wilhelm, Reinhard]
 +
# [http://hokiepokie.org/docs Wilding, Matthew M.]
−
# [http://www.cs.man.ac.uk/fmethods/people/alan-williams.html Williams, Alan]
 +
# [http://www.cs.uni-sb.de/~wilhelm/ Wilhelm, Reinhard]
−
# [http://www.bath.ac.uk/~mascpw/ Willis, Claire]
 +
# [http://www.cs.man.ac.uk/fmethods/people/alan-williams.html Williams, Alan]
−
# [http://www.cs.york.ac.uk/~stevew/ Wilson, Stephen]
 +
# [http://www.bath.ac.uk/~mascpw/ Willis, Claire]
−
# [http://www.cs.mu.oz.au/~winikoff/ Winikoff, Michael]
 +
# [http://www.cs.york.ac.uk/~stevew/ Wilson, Stephen]
−
# [http://phil.windley.org/ Windley, Phillip J.]
 +
# [http://www.cs.mu.oz.au/~winikoff/ Winikoff, Michael]
−
# [http://www.cs.cmu.edu/~wing/ Wing, Jeannette]
 +
# [http://phil.windley.org/ Windley, Phillip J.]
−
# [http://www.brics.dk/~gwinskel/ Winskel, Glynn]
 +
# [http://www.cs.cmu.edu/~wing/ Wing, Jeannette]
−
# [http://www.pst.informatik.uni-muenchen.de/personen/wirsing/wirsing-e.html Wirsing, Martin]
 +
# [http://www.brics.dk/~gwinskel/ Winskel, Glynn]
−
# [http://www.cs.inf.ethz.ch/~wirth/ Wirth, Niklaus]
 +
# [http://www.pst.informatik.uni-muenchen.de/personen/wirsing/wirsing-e.html Wirsing, Martin]
−
# [http://www.informatik.uni-freiburg.de/~wolff/ Wolff, Burkhart]
 +
# [http://www.cs.inf.ethz.ch/~wirth/ Wirth, Niklaus]
−
# [http://www-users.cs.york.ac.uk/~jim/ Woodcock, Jim]
 +
# [http://www.informatik.uni-freiburg.de/~wolff/ Wolff, Burkhart]
−
# [http://www.csc.liv.ac.uk/~mrw/ Woodward, Martin]
 +
# [http://www-users.cs.york.ac.uk/~jim/ Woodcock, Jim]
−
# [http://www.montefiore.ulg.ac.be/~pw/ Wolper, Pierre]
 +
# [http://www.csc.liv.ac.uk/~mrw/ Woodward, Martin]
−
# [http://www.users.waitrose.com/~jbwords/jbw0.html Wordsworth, John]
 +
# [http://www.montefiore.ulg.ac.be/~pw/ Wolper, Pierre]
−
# [http://www.cs.kun.nl/~wupper/ Wupper, Hanno]
 +
# [http://www.users.waitrose.com/~jbwords/jbw0.html Wordsworth, John]
  +
# [http://www.cs.kun.nl/~wupper/ Wupper, Hanno]
  +
 
=== '''X:''' ===
  
=== '''X:''' ===
 
# [http://www.fst.umac.mo/en/staff/fstqx.html Xu, Qiwen]
  
# [http://www.fst.umac.mo/en/staff/fstqx.html Xu, Qiwen]
  +
# [http://www.iist.unu.edu/index.php/people/259-dr-xu-wang Xu, Wang]
 
=== '''Y:''' ===
  
=== '''Y:''' ===
 
# [http://www.cs.adelaide.edu.au/users/jty/ Yantchev, Jay]
  
# [http://www.cs.adelaide.edu.au/users/jty/ Yantchev, Jay]
Line 935: Line 951:
 
# [http://www.iist.unu.edu/~zcc/ Zhou, Chaochen]
  
# [http://www.iist.unu.edu/~zcc/ Zhou, Chaochen]
 
# [http://www.brookes.ac.uk/~p0072431/zhuhomepage.html Zhu, Hong]
  
# [http://www.brookes.ac.uk/~p0072431/zhuhomepage.html Zhu, Hong]
−
# [http://myweb.lsbu.ac.uk/~huibiaz/ Zhu, Huibiao]
 +
# [http://faculty.ecnu.edu.cn/zhuhuibiao/Info_eng.html Zhu, Huibiao]
 
# [http://www.cse.unsw.edu.au/school/people/info/johnz.html Zic, John]
  
# [http://www.cse.unsw.edu.au/school/people/info/johnz.html Zic, John]
 
# [http://www.brunel.ac.uk/~csstrmz/ Zimmer, Robert]
  
# [http://www.brunel.ac.uk/~csstrmz/ Zimmer, Robert]
Line 982: Line 998:
 
* TIFR: [http://www.tcs.tifr.res.in/members.html Members, Theoretical Computer Science Group], Tata Institute of Fundamental Research, Bombay.
  
* TIFR: [http://www.tcs.tifr.res.in/members.html Members, Theoretical Computer Science Group], Tata Institute of Fundamental Research, Bombay.
   
−
'''[http://www.cs.tcd.ie/www/jgllgher/ifmsig/#People Ireland:]'''
 +
'''[http://www.cs.tcd.ie/www/jgllgher/ifmsig/#People Ireland]:'''
   
 
* Dublin: [http://www.cs.tcd.ie/research_groups/fmg/people.html Foundations & Methods Group], Trinity College Dublin.
  
* Dublin: [http://www.cs.tcd.ie/research_groups/fmg/people.html Foundations & Methods Group], Trinity College Dublin.
   
−
''' Israel:'''
 +
'''Israel:'''
   
 
* Weizmann Institute of Science: [http://www.wisdom.weizmann.ac.il/~verify/people.html Scientific Personnel, Minerva Center for Verification of Reactive Systems]
  
* Weizmann Institute of Science: [http://www.wisdom.weizmann.ac.il/~verify/people.html Scientific Personnel, Minerva Center for Verification of Reactive Systems]
   
−
''' Macau: '''
 +
'''Italy:'''
  +
* CNR: [http://fmt.isti.cnr.it/fmt-people.htm Group Members, Formal Methods && Tools Group] [[Image:new.gif|((New)]]
  +
  +
'''Macau:'''
   
 
* UNU/IIST: [http://www.iist.unu.edu/www/personnel.html Personnel].
  
* UNU/IIST: [http://www.iist.unu.edu/www/personnel.html Personnel].
Line 999: Line 1,018:
 
* Twente: [http://wwwtios.cs.utwente.nl/tios/dg/fm/staff.html Formal Methods Group], Department of Computer Science, University of Twente.
  
* Twente: [http://wwwtios.cs.utwente.nl/tios/dg/fm/staff.html Formal Methods Group], Department of Computer Science, University of Twente.
   
−
''' New Zealand<nowiki>:</nowiki>'''
 +
'''New Zealand:'''
   
 
* Waikato: [http://www.cs.waikato.ac.nz/Research/fm/ Formal Methods Laboratory] University of Waikato, Hamilton.
  
* Waikato: [http://www.cs.waikato.ac.nz/Research/fm/ Formal Methods Laboratory] University of Waikato, Hamilton.
Line 1,057: Line 1,076:
 
----
  
----
   
−
See also:
 +
==See also==
   
  +
* [[Image:star11t.gif|*]] [http://academic.research.microsoft.com/Detail?entitytype=8&searchtype=1&id=14916 Formal Method > Authors], {{wp|Microsoft Academic Search}}. [[Image:new.gif|((New)]]
−
* [http://www.sqi.gu.edu.au/conferences/registrations/icfem98.html List of Online Registrations] for [http://www.sqi.gu.edu.au/icfem98/ ICFEM'98] conference, including links to home pages where available.
  
  +
* [[Image:star11t.gif|*]] [http://scholar.google.co.uk/citations?view_op=search_authors&hl=en&mauthors=label:formal_methods Formal methods] authors, {{wp|Google Scholar}}. [[Image:new.gif|((New)]]
−
* [http://www.infc.ulst.ac.uk/whoser/ Who's Who in Software Engineering].
  
−
* [[Image:star11t.gif|*]] [http://sigact.acm.org/tcs-address/ TCS Virtual Address Book] list of theoretical computer scientists around the world.
  
−
* [http://www.cs.unh.edu/ccc/archive/constraints/people/people.html People Interested in Constraints] by [http://www.math.unipd.it/~max/ Massimo Marchiori].
  
−
* [http://vlsi.Colorado.EDU/~rbloem/mc.html Model Checking White Pages].
  
 
* [http://lampwww.epfl.ch/mobility/#people Mobile Processes People].
  
* [http://lampwww.epfl.ch/mobility/#people Mobile Processes People].
−
* [[Image:star11t.gif|*]] [http://citeseer.ist.psu.edu/allcited.html Most cited authors in computer science] (many related to formal methods) and also with [http://citeseer.nj.nec.com/allcitedn.html article citation counts normalized by publication year] in the [http://citeseer.nj.nec.com/cs Research Index] database.
 +
* [http://citeseer.ist.psu.edu/allcited.html Most cited authors in computer science] (many related to formal methods) and also with [http://citeseer.nj.nec.com/allcitedn.html article citation counts normalized by publication year] in the [http://citeseer.nj.nec.com/cs Research Index] database.
 
<!-- See also a [[cgi/archive/cscited| search]] facility. -->
  
<!-- See also a [[cgi/archive/cscited| search]] facility. -->
−
* [http://directory.google.com/alpha/Top/Computers/Computer_Science/People/ Computer Science People] including [http://directory.google.com/alpha/Top/Computers/Software/Software_Engineering/People/ Software Engineering].
  
   
 
----
  
----
Line 1,074: Line 1,089:
 
Alternatively, please contact [[Jonathan Bowen]] if you wish to be added to or deleted from this page. Note that a few names have no associated hyperlink. Pointers to WWW home pages for these people are welcome.
  
Alternatively, please contact [[Jonathan Bowen]] if you wish to be added to or deleted from this page. Note that a few names have no associated hyperlink. Pointers to WWW home pages for these people are welcome.
   
−
<div align="right"> Last updated 10 May 2009.</div>
 +
<div align="right"> Last updated 5 March 2013.</div>
 
[[Category:Formal methods|*Who's who]]
  
[[Category:Formal methods|*Who's who]]
 
[[Category:People|*]]
  
[[Category:People|*]]

Latest revision as of 15:30, 7 January 2014


VL2

Virtual Library
Computing
Software engineering
Formal methods

Who's Who on the Web in Formal Methods

The following is an eclectic list of people involved with formal methods who have a personal URL↑.

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Other lists

See also Wikipedia: Category:Formal methods people.

A:

  1. Abadi, Martin
  2. Abdallah, Ali
  3. Abowd, Gregory D.
  4. Abraham, Uri
  5. Abramsky, Samson
  6. Abrial, Jean-Raymond
  7. Aceto, Luca
  8. Aczel, Peter
  9. Agha, Gul
  10. Alechina, Natasha
  11. Almstrum, Vicki
  12. Alpuente Frasnedo, María
  13. Alur, Rajeev
  14. Alves-Foss, Jim
  15. Ambler, Simon
  16. Andersen, Henrik R.
  17. André, Pascal
  18. Anderson, Stuart
  19. Anderson, Tom
  20. Andrews, Derek
  21. Andrews, Peter
  22. Araki, Keijiro
  23. Archer, Myla
  24. Ardis, Mark
  25. Arditi, Laurent
  26. Armando, Alessandro
  27. Arthan, Rob
  28. Arun-Kumar, S.
  29. Atkinson, Steven
  30. Avenhaus, Jürgen
  31. Ayala-Rincón, Mauricio
  32. Aziz, Adnan
  33. Aziz, Benjamin

B:

  1. Baber, Robert
  2. Back, Ralph-Johan
  3. Backhouse, Roland C.
  4. Baeten, Jos
  5. Bagnara, Roberto
  6. Baldamus, Michael
  7. Ball, Tom
  8. Banach, Richard
  9. Barker, Robin
  10. Barnett, Michael
  11. Barringer, Howard
  12. Barroca, Leonor
  13. Barros, José Bernardo
  14. Barthe, Gilles
  15. Beaudouin-Lafon, Michel
  16. Beckert, Bernhard
  17. Berry, Gérard
  18. Bert, Didier
  19. Berzins, Valdis
  20. Bibel, Wolfgang
  21. Bicarregui, Juan
  22. Biere, Armin
  23. Billington, John
  24. Bird, Richard
  25. Birrell, Andrew
  26. Birtwistle, Graham
  27. Bjørner, Dines
  28. Blandford, Ann
  29. Bledsoe, Woodrow W.
  30. Bloom, Bard
  31. Bloomfield, Robin
  32. Bogdanov, Kirill
  33. Bohn, Jürgen
  34. Boiten, Eerke
  35. Bolognesi, Tommaso
  36. Bolton, Christine
  37. Borrione, Dominique
  38. Bowman, Howard
  39. Börger, Egon
  40. Bornat, Richard
  41. Botting, Richard J.
  42. Boulton, Richard
  43. Boute, Raymond
  44. Bowen, Jonathan P.
  45. Boyer, Robert S.
  46. Boyle, Dave
  47. Bradfield, Julian
  48. Bradley, Steven
  49. Bredereke, Jan
  50. Breitman, Karin
  51. Breuer, Peter
  52. Brim, Lubos
  53. Brinksma, Ed
  54. Broadfoot, Philippa
  55. Brookes, Stephen D.
  56. Brown, Geoffrey
  57. Broy, Manfred
  58. Brucker, Achim D.
  59. Bruel, Jean-Michel
  60. Bruns, Glenn
  61. Bryans, Jeremy
  62. Bryant, Randy
  63. Bundy, Alan
  64. Bunkenburg, Alexander
  65. Burns, Alan
  66. Burrows, Michael
  67. Burstall, Rod
  68. Buth, Bettina
  69. Buth, Karl-Heinz
  70. Butler, Michael
  71. Butler, Ricky W.
  72. Butterfield, Andrew

C:

  1. Calder, Muffy (nee Thomas)
  2. Caldwell, James
  3. Cap, Clemens H.
  4. Cardelli, Luca
  5. Cardell-Oliver, Rachel
  6. Carreño, Victor A.
  7. Carrington, David
  8. Carruth, Al
  9. Cataño, Néstor
  10. Cau, Antonio
  11. Cavalcanti, Ana
  12. Cavalli, Ana Rosa
  13. Cerone, Antonio
  14. Chakraborty, Supratik
  15. Chakrapani Rao, Arun
  16. Chalin, Patrice
  17. Chang, Han-Myung
  18. Chapman, Richard
  19. Charpentier, Michel
  20. Chechik, Marsha
  21. Cheng, Betty
  22. Cheng, Xiaochun
  23. Choppy, Christine
  24. Christensen, Søren
  25. Ciancarini, Paolo
  26. Ciardo, Gianfranco
  27. Ciobanu, Gabriel
  28. Clark, David
  29. Clark, John
  30. Clark, Robert
  31. Clark, Tony
  32. Clarke, Edmund M.
  33. Clarke, Keith
  34. Clavel, Manuel
  35. Cleaveland, Rance
  36. Clement, Tim
  37. Coen-Porisini, Alberto
  38. Coglio, Alessandro
  39. Cohen, Bernie
  40. Cohen, Ernie
  41. Colin, Samuel
  42. Constable, Robert L.
  43. Cooke, John
  44. Coppit, David
  45. Cousot, Patrick
  46. Craigen, Dan
  47. Creese, Sadie
  48. Crew, Roger
  49. Cristiá, Maximiliano
  50. Crocker, David
  51. Crole, Roy L.
  52. Crow, Judith
  53. Curtis, Sharon
  54. Curzon, Paul

D:

  1. Dadeau, Frederic
  2. Dahl, Ole-Johan
  3. Dam, Mads
  4. Dams, Dennis
  5. Dart, Philip
  6. Daskalopulu, Aspassia
  7. Dawson, Mark
  8. Davies, Jim
  9. Davoren, J. M.
  10. de Alfaro, Luca
  11. Dean, Neville
  12. Deiß, Thomas
  13. Delgado Kloos, Carlos
  14. de Lucena, Carlos José Pereira
  15. Dembinski, Piotr
  16. de Moor, Oege
  17. de Moura, Leonardo
  18. de Sousa, Thiago C.
  19. Dershowitz, Nachum
  20. de Roever, Willem-Paul
  21. Denker, Grit
  22. Denvir, Tim
  23. Derrick, John
  24. Dierks, Henning
  25. Dietz, Cheryl
  26. Dijkstra, Edsger Wybe
  27. Dill, David L.
  28. Diller, Antoni
  29. Dillon, Laura K.
  30. d'Inverno, Mark
  31. Di Vito, Benedetto L.
  32. Dix, Alan
  33. Dixon, Clare
  34. Dong, Jin Song
  35. Donnelly, Alexis A.
  36. Dowek, Gilles
  37. Dranidis, Dimitris
  38. Duce, David
  39. Duke, David
  40. Duke, Roger
  41. Dunne, Steve
  42. Dutertre, Bruno
  43. Dwyer, Barry
  44. Dwyer, Matthew.

E:

  1. Easterbrook, Steve
  2. Ehrich, Hans-Dieter
  3. Eisenbach, Susan
  4. Eker, Steven
  5. Eleftherakis, George
  6. Emerson, E. Allen
  7. Engelhardt, Kai
  8. Eriksson, Lars-Henrik
  9. Ernst, Michael
  10. Eschbach, Robert
  11. Evans, Andy
  12. Evans, David

F:

  1. Facon, Philippe
  2. Fantechi, Alessandro
  3. Farmer, William, M.
  4. Feijs, Los
  5. Felici, Massimo
  6. Felty, Amy
  7. Fenton, Norman
  8. Ferguson, Michael J.
  9. Fernandez Iglesias, Manuel J.
  10. Fiadeiro, José Luiz
  11. Fidge, Colin
  12. Fiore, Marcelo
  13. Fischer, Clemens
  14. Fisher, Michael
  15. Fisler, Kathi
  16. Fitzgerald, John
  17. Flammini, Francesco
  18. Fleischhack, Hans
  19. Flener, Pierre
  20. Floyd, Robert W.
  21. Flynn, Sharon
  22. Fokkinga, Maarten
  23. Fokkink, Wan
  24. Foley, Simon N.
  25. Fourman, Mike
  26. Fox, Chris
  27. Foxley, Eric
  28. Fraer, Ranan
  29. Fränzle, Martin
  30. France, Robert
  31. Frappier, Marc
  32. Fraus, Ulrich
  33. Freire Junior, José Celso
  34. Froome, Peter
  35. Frost, Jacob
  36. Fuchs, Norbert
  37. Futatsugi, Kokichi

G:

  1. Gabbar, Hossam
  2. Gabby, Dov
  3. Gabrielian, Armen
  4. Galloway, Andy
  5. Ganzinger, Harald
  6. Garavel, Hubert
  7. Garlan, David
  8. Garland, Stephen J.
  9. Gaudel, Marie-Claude
  10. Gay, Simon
  11. George, Chris
  12. Gerhart, Susan
  13. Ghani, Neil
  14. Ghezzi, Carlo
  15. Ghose, Aditya K.
  16. Giacobazzi, Roberto
  17. Gibbons, Hugh
  18. Gibbons, Jeremy
  19. Gibson, Paul
  20. Gilmore, Stephen
  21. Girard, Jean-Yves
  22. Giunchiglia, Enrico
  23. Glässer, Uwe
  24. Gnesi, Stefania
  25. Godefroid, Patrice
  26. Goerigk, Wolfgang
  27. Goguen, Joseph
  28. Goldsack, Stephen
  29. Good, Donald I.
  30. Goodman, Howard S.
  31. Goos, Gerhard
  32. Gopalakrishnan, Ganesh
  33. Gordon, Andrew
  34. Gordon, Mike FRS
  35. Gorrieri, Roberto
  36. Gough, Graham
  37. Gravell, Andy
  38. Gries, David
  39. Grieskamp, Wolfgang
  40. Groenboom, Rix
  41. Groote, Jan Friso
  42. Groves, Lindsay
  43. Grumberg, Orna
  44. Grundy, Jim
  45. Guelev, Dimitar P.
  46. Guerra, Sofia
  47. Gunter, Carl A.
  48. Gurevich, Yuri
  49. Guttag, John V.

H:

  1. Habrias, Henri
  2. Haddad, Serge
  3. Hähnle, Reiner
  4. Halbwachs, Nicolas
  5. Hale, Roger
  6. Hall, Jon
  7. Hall, Pat
  8. Hamilton, Alan
  9. Hamlett, Dick
  10. Hankin, Chris
  11. Hanna, Keith
  12. Hansen, Bo Stig
  13. Hansen, Kirsten Mark
  14. Hansen, Michael R.
  15. Harel, David
  16. Harman, Mark
  17. Harman, Neal
  18. Harrison, John
  19. Harrison, Michael
  20. Harwood, Will
  21. Havelund, Klaus
  22. Haxthausen, Anne Elisabeth
  23. Hayes, Ian
  24. Hayhurst, Kelly J.
  25. Hazelhurst, Scott
  26. He, Jifeng
  27. He, Xudong
  28. Heather, James
  29. Heering, Jan
  30. Heerink, Lex
  31. Hehner, Eric
  32. Heilmann, Søren T.
  33. Heitmeyer, Constance L.
  34. Henderson, Peter
  35. Hennessy, Matthew
  36. Henson, Martin
  37. Henzinger, Tom
  38. Herbert, John
  39. Herranz-Nieva, Ángel
  40. Hewitt, Mark
  41. Hierons, Rob
  42. Hill, Pat
  43. Hillston, Jane
  44. Hinchey, Mike
  45. Hoare, Sir Tony FRS
  46. Hobley, Keith
  47. Hoffman, Dirk
  48. Hoffman, Ulrich
  49. Hogger, Chris
  50. Holcombe, Mike
  51. Holloway, C. Michael
  52. Holzmann, Gerard
  53. Hook, James
  54. Hooman, Jozef
  55. Hörcher, Hans-Martin
  56. Howe, Douglas J.
  57. Horning, Jim
  58. Hsiung, Pao-Ann (Eric)
  59. Hu, Alan J.
  60. Hubbers, Engelbert
  61. Huet, Gérard
  62. Huggins, Jim
  63. Hughes, Arthur
  64. Hughes, John
  65. Hulgaard, Henrik
  66. Hung, Dang Van
  67. Hunt Jr., Warren A.
  68. Hurd, Joe
  69. Hussak, Walter
  70. Hustadt, Ullrich
  71. Hüttel, Hans
  72. Hutter, Dieter
  73. Hutton, Graham

I:

  1. Iglewski, Michal
  2. Ince, Darrel
  3. Ireland, Andrew
  4. Iyer, S. Purushothaman

J:

  1. Jackson, Daniel
  2. Jackson, Michael
  3. Jacky, Jonathan
  4. Jacob, Jeremy
  5. Jagadeesan, Lalita Jategaonkar
  6. Jähnichen, Stefan
  7. Janicki, Ryszard
  8. Janowski, Tomasz
  9. Janssen, Wil
  10. Jard, Claude
  11. Jarvis, Stephen
  12. Jensen, Kurt
  13. Jia, Xiaoping
  14. Johnson, Chris
  15. Jones, Claire
  16. Jones, Cliff
  17. Jones, Geraint
  18. Jones, Neil D.
  19. Jones, Richard
  20. Jones, Roger
  21. Jones, Simon B.
  22. Jonsson, Bengt
  23. Joseph, Mathai
  24. Josephs, Mark
  25. Jürjens, Jan

K:

  1. Kang, Kuo Chul
  2. Kapoor, Hemangee
  3. Kapoor, Kalpesh
  4. Karlsen, Einar
  5. Kaltenbach, Markus
  6. Kalvala, Sara
  7. Kars, Pim
  8. Katoen, Joost-Pieter
  9. Kaufmann, Matt
  10. Kefalas, Petros
  11. Kemmerer, Richard A.
  12. Khurshid, Sarfraz
  13. Kieburtz, Richard
  14. Kilpatrick, Peter L.
  15. Kiniry, Joseph
  16. King, Steve
  17. Klarland, Nils
  18. Kluit, P.G.
  19. Knaggs, Peter
  20. Knapp, Edgar
  21. Knight, John
  22. Knott, Ron D.
  23. Kolyang
  24. Kornerup, Jacob
  25. Kowalski, Robert
  26. Kozen, Dexter
  27. Kreitz, Christoph
  28. Kreowski, Hans-Jörg
  29. Krieg-Brückner, Bernd
  30. Krilavičius, Tomas
  31. Kronenburg, Martin
  32. Kromodimoeljo, Sentot
  33. Kröning, Daniel
  34. Kropf, Thomas
  35. Kumagai, Sadatoshi
  36. Kumar, K. Narayan
  37. Kuper, Jan
  38. Kurshan, Bob
  39. Kwiatkowska, Marta

L:

  1. Ladkin, Peter
  2. Lai, Luming
  3. Lakhnech, Yassine
  4. Lakos, Charles
  5. Laleau, Regine
  6. Lamb, David
  7. Lampson, Butler W.
  8. Lamport, Leslie
  9. Landin, Peter
  10. Lang, Frederic
  11. Langerak, Rom
  12. Langmaack, Hans
  13. Lano, Kevin
  14. Laplante, Phillip
  15. Larrondo-Petrie, Maria
  16. Larsen, Kim Guldstrand
  17. Larsen, Peter Gorm
  18. Laski, Janusz W.
  19. Latella, Diego
  20. Lau, Kung Kiu
  21. Lauer, Peter
  22. Launchbury, John
  23. Lazic, Ranko
  24. Leavens, Gary T.
  25. Ledru, Yves
  26. Leduc, Guy
  27. Lee, Insup
  28. Lee, John A. N.
  29. Lee, Peter
  30. Leeser, Miriam
  31. Leino, K. Rustan M.
  32. Lescanne, Pierre
  33. Leucker, Martin
  34. Leue, Stefan
  35. Leveson, Nancy
  36. Levitt, Jeremy R.
  37. Lewerentz, Claus
  38. Lewis, Philip M.
  39. Lincoln, Patrick
  40. Lindner, Thomas
  41. Lindsay, Peter
  42. Lisper, Björn
  43. Lightfoot, David
  44. Liu, Shaoying
  45. Liu, Zhiming
  46. Lima, José Augusto
  47. Lloyd, John
  48. Lodaya, Kamal
  49. Logrippo, Luigi
  50. Lomuscio, Alessio
  51. Lopes, Antónia
  52. Lövengreen, Hans Henrik
  53. Lowe, Gavin
  54. Lucas, Peter
  55. Luckham, David
  56. Luk, Wayne
  57. Luo, Zhaohui
  58. Lüth, Christoph
  59. Lüttgen, Gerald
  60. Lynch, Nancy

M:

  1. Mac an Airchinnigh, Mícheál
  2. MacQueen, Dave
  3. Madey, Jan
  4. Madlener, Klaus
  5. Maharaj, Savi
  6. Maibaum, Tom
  7. Malcolm, Grant
  8. Mander, Keith
  9. Mandrioli, Dino
  10. Manjunathaiah, Manju
  11. Manna, Zohar
  12. Mansfield, Tony
  13. Margaria, Tiziana
  14. Mariano, Georges
  15. Martin, Andrew
  16. Martin, Ursula
  17. Mascolo, Cecilia
  18. Massink, Mieke
  19. Mataga, Peter
  20. Mateescu, Radu
  21. Matthews, Brian
  22. Matthews, Seán
  23. Maung, Ian
  24. Mauw, Sjouke
  25. May, David FRS
  26. McCarthy, John
  27. McDermid, John
  28. McIlroy, Doug
  29. McLean, John D.
  30. McIver, Annabelle
  31. McMillan, Ken
  32. McMillin, Bruce
  33. Meertens, Lambert
  34. Meinke, Karl
  35. Meira, Silvio
  36. Meisels, Irwin
  37. Meldal, Sigurd
  38. Melham, Tom (was here)
  39. Mens, Kim
  40. Mens, Tom
  41. Merino Gómez, Pedro
  42. Méry, Dominique
  43. Meseguer, JosÉ G.
  44. Meyer, Bertrand
  45. Middelburg, Kees
  46. Miller, Alice
  47. Milne, George J.
  48. Milner, Robin FRS
  49. Miner, Paul S.
  50. Misic, Vojislav B.
  51. Misra, Jayadev
  52. Mitchell, Bill
  53. Mitchell, John
  54. Mitchell, Richard
  55. Moffett, Jonathan
  56. Mok, Aloysius K.
  57. Mole, David
  58. Möller, Bernhard
  59. Moller, Faron
  60. Moore, J Strother
  61. Moore, Richard
  62. Morasca, Sandro
  63. Moreno-Navarro, Juan José
  64. Morgan, Carroll
  65. Morris, Joseph M.
  66. Morrisett, Greg
  67. Morzenti, Angelo
  68. Moskowitz, Ira S.
  69. Moszkowski, Ben
  70. Mosses, Peter D.
  71. Mukherjee, Paul
  72. Mukund, Madhavan
  73. Müller-Olm, Markus
  74. Muñoz, César A.
  75. Muntean, Traian
  76. Murate, Tadao
  77. Muscholl, Anca
  78. Mycroft, Alan

N:

  1. Nadathur, Gopalan
  2. Nagarajan, Rajagopal
  3. Najm, Elie
  4. Naumann, David
  5. Nauowicz, Adam
  6. Necula, George
  7. Nederpelt, Rob
  8. Nelson, Greg
  9. Nestmann, Uwe
  10. Neumann, Peter G.
  11. Nguyen, Viet Yen
  12. Nicollin, Xavier
  13. Nickson, Ray
  14. Niebert, Peter
  15. Nielson, Flemming
  16. Nielson, Hanne Riis
  17. Nielson, Mogens
  18. Nipkow, Tobias
  19. Nissanke, Nimal
  20. Nordahl, Jens

O:

  1. O'Halloran, Colin
  2. O'Hearn, Peter
  3. Olderog, Ernst-Rüdiger
  4. Oliveira, José Nuno
  5. Oliveira, Marcel Vinícius Medeiros
  6. Ong, Luke
  7. Orava, Fredrik
  8. Ostroff, Jonathan
  9. Owe, Olaf
  10. Owre, Sam

P:

  1. Pandya, Paritosh
  2. Pang, Jun
  3. Papanikolaou, Nick
  4. Park, SeungJoon
  5. Parkin, Graeme
  6. Parnas, David
  7. Parrow, Joachim
  8. Parthasarathy, S.
  9. Pascoe, James
  10. Pase, Bill
  11. Paulin-Mohring, Christine
  12. Paulson, Lawrence C.
  13. Pearce, David
  14. Pearson, Justin
  15. Pecheur, Charles
  16. Peled, Doron
  17. Peleska, Jan
  18. Pepper, Peter
  19. Peters, Dennis K.
  20. Petrenko, Alexander
  21. Petri, Carl Adam
  22. Pezzè, Mauro
  23. Pfenning, Frank
  24. Philippou, Anna
  25. Phillips, Iain
  26. Pike, Lee
  27. Pitt, David
  28. Pitts, Andrew
  29. Plaks, Toomas
  30. Plat, Nico
  31. Plotkin, Gordon FRS
  32. Pnueli, Amir
  33. Poigné, Axel
  34. Polack, Fiona
  35. Poppleton, Michael R.
  36. Posegga, Joachim
  37. Power, James
  38. Power, Norah
  39. Prasad, Sanjiva
  40. Prasetya, Wishnu
  41. Pressburger, Thomas
  42. Pretschner, Alexander
  43. Priami, Corrado
  44. Probert, Robert
  45. Pronk, Kees
  46. Puchol, Carlos
  47. Puri, Anuj
  48. Pym, David J.

Q:

  1. Qin, Shengchao

R:

  1. Rabay Filho, Gualberto
  2. Rajan, Sreeranga P.
  3. Ramanujam, R.
  4. Ramesh, S.
  5. Ravn, Anders P.
  6. Reed, Joy
  7. Reed, Mike
  8. Reeves, Steve
  9. Reisig, Wolfgang
  10. Reniers, Michel A.
  11. Reynolds, John C.
  12. Richardson, Debra
  13. Rischel, Hans
  14. Ritchie, Brian
  15. Roast, Chris
  16. Robert, Monica
  17. Robinson, Ken
  18. Robinson, Peter
  19. Roman, Gruia-Catalin
  20. Romijn, Judi
  21. Roscoe, Bill
  22. Roth, Andreas
  23. Royer, Jean-Claude
  24. Rozenberg, Grzegorz
  25. Ruess, Harald
  26. Ruf, Jürgen
  27. Rumpe, Bernhard
  28. Rushby, John
  29. Rusinowitch, Michael
  30. Russo Jr, Aryldo G
  31. Rutten, Jan
  32. Ryan, Mark
  33. Rydeheard, David E.

S:

  1. Saaltink, Mark
  2. Saglietti, Francesca
  3. Saiedian, Hossein
  4. Sampaio, Augusto
  5. Sánchez Fernández, Luis
  6. Sanders, Beverly A.
  7. Sanders, Jeff
  8. Sanderson, Michael
  9. Sangiorgi, Davide
  10. Sankar, Sriram
  11. Sannella, Don
  12. Santen, Thomas
  13. Sahara, Shin
  14. Sassone, Vladimiro
  15. Satoh, Ichiro
  16. Satpathy, Manoranjan
  17. Scedrov, Andre
  18. Schenke, Michael
  19. Schieferdecker, Ina
  20. Schmidt, Dave
  21. Schneider, Fred
  22. Schneider, Gerardo ((New)
  23. Schneider, Klaus
  24. Schneider, Steve
  25. Schobbens, Pierre-Yves
  26. Scholefield, David
  27. Schulte, Wolfram
  28. Schuman, Stephen
  29. Schwartzbach, Michael I.
  30. Schwichtenberg, Helmut
  31. Scott, Dana
  32. Sekerinski, Emil
  33. Semple, Dominic
  34. Sennett, Chris
  35. Sere, Kaisa
  36. Serwe, Wendelin
  37. Sestoft, Peter
  38. Seth, Anil
  39. Sewell, Peter
  40. Shankar, Natarajan
  41. Shankland, Carron
  42. Sheard, Tim
  43. Sheeran, Mary
  44. Shepherd, David
  45. Shields, Mike
  46. Shukla, Sandeep
  47. Shyamasundar, R.K.
  48. Siddiqi, Jawed
  49. Siekmann, Jörg
  50. Sifakis, Joseph
  51. Siminiceanu, Radu
  52. Simons, Anthony
  53. Simpson, Dan
  54. Sinclair, Jane
  55. Singh, Satnam
  56. Sipma, Henny
  57. Sistla, A. Prasad
  58. Sivakumar, G.
  59. Skakkebæk, Jens Ulrik
  60. Smaill, Alan
  61. Smith, Douglas
  62. Smith, Graeme
  63. Smolka, Scott A.
  64. Somenzi, Fabio
  65. Sorea, Maria
  66. Sørensen, Ib Holm
  67. Sotiriadou, Anna
  68. Spivey, Mike
  69. Srimani, Pradip
  70. Srivas, Mandayam
  71. Stachniak, Zbigniew
  72. Stannett, Mike
  73. Staples, John
  74. Stark, Eugene
  75. Stärk, Robert
  76. Staskauskas, Mark
  77. Staunstrup, Jørgen
  78. Stavridou, Victoria
  79. Stefanescu, Gheorghe
  80. Steffen, Martin
  81. Stephan, Werner
  82. Stepney, Susan
  83. Stirling, Chris
  84. Stocks, Phil
  85. Stoddart, Bill
  86. Stölen, Ketil
  87. Stone, Roger
  88. Stoy, Joe
  89. Stoyenko, Alexander
  90. Stringer-Calvert, David
  91. Süholt, Mario
  92. Sufrin, Bernard
  93. Sun, Jing
  94. Swatman, Paul

T:

  1. Taguchi, Kenji
  2. Tahar, Sofiène
  3. Tan, Yang Meng
  4. Tarlecki, Andrzej
  5. Tatibouet, Bruno
  6. Tenney, Richard L.
  7. ter Beek, Maurice ((New)
  8. Thiagarajan, P.S.
  9. Thimbleby, Harold
  10. Thomas, Martyn
  11. Thomas, Rick
  12. Thompson, Simon
  13. Till, David
  14. Tiuryn, Jerzy
  15. Tiwari, Ashish
  16. Toetenel, W.J.
  17. Tofte, Mads
  18. Tofts, Chris
  19. Tol, Ronald M.
  20. Tolksdorf, Robert
  21. Torsun, Imad S.
  22. Toyn, Ian
  23. Trybulec, Andrzej
  24. Tse, T.H.
  25. Tucker, John
  26. Turner, David
  27. Turner, Ken
  28. Turner, Ray
  29. Turski, Wladyslaw

U:

  1. Uchihira, Naoshi
  2. Underwood, Judith
  3. Urbina, Luis
  4. Uribe, Tomás E.
  5. Utting, Mark

V:

  1. Vaandrager, Frits W.
  2. Vadera, Sunil
  3. Valmari, Antti
  4. van de Pol, Jaco
  5. van der Steen, Pleun
  6. van Deursen, Arie
  7. van de Snepscheut, Jan L.A.
  8. Vandevoorde, Mark T.
  9. van Deursen, Arie
  10. van Katwijk, Jan
  11. Vardi, Moshe Y.
  12. v. Bochmann, Gregor
  13. Velev, Miroslav N.
  14. Vereijken, Jan Joris
  15. Vickers, Steve
  16. Victor, Björn
  17. Vidal-Naquet, Guy
  18. Vilkomir, Sergiy
  19. von Karger, Burghard
  20. von Mayrhauser, Anneliese
  21. von Mohrenschildt, Martin
  22. von Oheimb, David
  23. von Wright, Joakim
  24. Vuillemin, Jean E.

W:

  1. Wadler, Philip
  2. Wainer, Stan S.
  3. Waldén, Marina
  4. Wallen, Lincoln
  5. Wand, Ian
  6. Wand, Mitchell
  7. Wang, Chao
  8. Ward, Martin
  9. Watson, Phil
  10. Weber-Wulff, Debora
  11. Weffers, Harold T. G.Welsh, Jim
  12. West, Margaret
  13. Whitty, Robin
  14. Wichmann, Brian
  15. Wiels, Virginie
  16. Wilding, Matthew M.
  17. Wilhelm, Reinhard
  18. Williams, Alan
  19. Willis, Claire
  20. Wilson, Stephen
  21. Winikoff, Michael
  22. Windley, Phillip J.
  23. Wing, Jeannette
  24. Winskel, Glynn
  25. Wirsing, Martin
  26. Wirth, Niklaus
  27. Wolff, Burkhart
  28. Woodcock, Jim
  29. Woodward, Martin
  30. Wolper, Pierre
  31. Wordsworth, John
  32. Wupper, Hanno

X:

  1. Xu, Qiwen
  2. Xu, Wang

Y:

  1. Yantchev, Jay
  2. Yi, Wang
  3. Yodaiken, Victor
  4. Young, William D.
  5. Yovine, Sergio
  6. Yu, Yuan

Z:

  1. Zave, Pamela
  2. Zedan, Hussein
  3. Zhang, Guo-Qiang
  4. Zhang, Yu
  5. Zhou, Chaochen
  6. Zhu, Hong
  7. Zhu, Huibiao
  8. Zic, John
  9. Zimmer, Robert
  10. Zucker, Jeffery
  11. Zwiers, Job

Other lists

The following are lists of people at individual departments, etc., many with an interest in formal methods:

Australia:

Denmark:

Finland:

France:

Germany:

Greece:

* India:

Ireland:

Israel:

Italy:

Macau:

Netherlands:

New Zealand:

Portugal:

Sweden:

UK:

USA:

International:

Many of these pages provide links to further information and on-line papers on formal methods.

See also

Please edit the list above with name and home pages for people involved in formal methods. Alternatively, please contact Jonathan Bowen if you wish to be added to or deleted from this page. Note that a few names have no associated hyperlink. Pointers to WWW home pages for these people are welcome.

Last updated 5 March 2013.
Community content is available under CC-BY-SA unless otherwise noted.