No edit summary |
|||
(13 intermediate revisions by 6 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 |
+ | # [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://www.jpbowen.com/ Bowen, Jonathan P. |
+ | # [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 133: | 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.iist.unu.edu/index.php/people/216-dr-antonio-cerone Cerone, Antonio] |
+ | # [http://www.iist.unu.edu/index.php/people/216-dr-antonio-cerone Cerone, Antonio] |
# [http://www.cse.iitb.ac.in/~supratik 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] |
||
Line 279: | Line 280: | ||
=== '''G:''' === |
=== '''G:''' === |
||
− | # [http://syslab2.mech.okayama-u.ac.jp/staff/gabbar/hsm-details-e.html |
+ | # [http://syslab2.mech.okayama-u.ac.jp/staff/gabbar/hsm-details-e.html Gabbar, Hossam] |
− | # [http://www.dcs.kcl.ac.uk/staff/dg/ |
+ | # [http://www.dcs.kcl.ac.uk/staff/dg/ Gabby, Dov] |
− | # [http://www.well.com/user/armen/ |
+ | # [http://www.well.com/user/armen/ Gabrielian, Armen] |
− | # [http://www.cs.york.ac.uk/~andyg/ |
+ | # [http://www.cs.york.ac.uk/~andyg/ Galloway, Andy] |
− | # [http://www.mpi-sb.mpg.de/~hg/ |
+ | # [http://www.mpi-sb.mpg.de/~hg/ Ganzinger, Harald] |
− | # [http:// |
+ | # [http://vasy.inria.fr/people/Hubert.Garavel/ Garavel, Hubert] |
− | # [http://www.cs.cmu.edu/~garlan/ |
+ | # [http://www.cs.cmu.edu/~garlan/ Garlan, David] |
− | # [http://larch-www.lcs.mit.edu/~garland/ |
+ | # [http://larch-www.lcs.mit.edu/~garland/ Garland, Stephen J.] |
− | # [http://www.lri.fr/people/mcg.html |
+ | # [http://www.lri.fr/people/mcg.html Gaudel, Marie-Claude] |
− | # [http://www.cs.rhbnc.ac.uk/people/staff/gay.shtml |
+ | # [http://www.cs.rhbnc.ac.uk/people/staff/gay.shtml Gay, Simon] |
− | # [http://www.iist.unu.edu/~cwg/ |
+ | # [http://www.iist.unu.edu/~cwg/ George, Chris] |
− | # [http://www.roir.com/bios.htm |
+ | # [http://www.roir.com/bios.htm Gerhart, Susan] |
− | # [http://www.mcs.le.ac.uk/~nghani/ |
+ | # [http://www.mcs.le.ac.uk/~nghani/ Ghani, Neil] |
− | # [http://www.elet.polimi.it/people/ghezzi/ |
+ | # [http://www.elet.polimi.it/people/ghezzi/ Ghezzi, Carlo] |
− | # [http://www.uow.edu.au/~aditya/ |
+ | # [http://www.uow.edu.au/~aditya/ Ghose, Aditya K.] |
− | # [http://profs.sci.univr.it/~giaco/ |
+ | # [http://profs.sci.univr.it/~giaco/ Giacobazzi, Roberto] |
− | # [http://www.cs.tcd.ie/Hugh.Gibbons/ |
+ | # [http://www.cs.tcd.ie/Hugh.Gibbons/ Gibbons, Hugh] |
− | # [http://web.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html |
+ | # [http://web.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html Gibbons, Jeremy] |
− | # [http://www.cs.may.ie/~pgibson/ |
+ | # [http://www.cs.may.ie/~pgibson/ Gibson, Paul] |
− | # [http://www.dcs.ed.ac.uk/home/stg/ |
+ | # [http://www.dcs.ed.ac.uk/home/stg/ Gilmore, Stephen] |
− | # [http://iml.univ-mrs.fr/~girard/ |
+ | # [http://iml.univ-mrs.fr/~girard/ Girard, Jean-Yves] |
− | # [http://www.mrg.dist.unige.it/~enrico/ |
+ | # [http://www.mrg.dist.unige.it/~enrico/ Giunchiglia, Enrico] |
− | # [http://www.cs.sfu.ca/~glaesser/ |
+ | # [http://www.cs.sfu.ca/~glaesser/ Glässer, Uwe] |
− | # [http://www.iei.pi.cnr.it/People/Gnesi.html |
+ | # [http://www.iei.pi.cnr.it/People/Gnesi.html Gnesi, Stefania] |
− | # [http://www.bell-labs.com/user/god/ |
+ | # [http://www.bell-labs.com/user/god/ Godefroid, Patrice] |
− | # [http://www.informatik.uni-kiel.de/~wg/ |
+ | # [http://www.informatik.uni-kiel.de/~wg/ Goerigk, Wolfgang] |
− | # [http://www-cse.ucsd.edu/users/goguen/ |
+ | # [http://www-cse.ucsd.edu/users/goguen/ Goguen, Joseph] |
− | # [http://www.doc.ic.ac.uk/~sjg/ |
+ | # [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 |
+ | # [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/ |
+ | # [http://ericgill.mdx.ac.uk/~howard/ Goodman, Howard S.] |
− | # [http://www.fzi.de/divisions/prost/people/ggoos.html |
+ | # [http://www.fzi.de/divisions/prost/people/ggoos.html Goos, Gerhard] |
− | # [http://www.cs.utah.edu/~ganesh/ |
+ | # [http://www.cs.utah.edu/~ganesh/ Gopalakrishnan, Ganesh] |
− | # [http://research.microsoft.com/~adg/ |
+ | # [http://research.microsoft.com/~adg/ Gordon, Andrew] |
− | # [http://www.cl.cam.ac.uk/users/mjcg/ |
+ | # [http://www.cl.cam.ac.uk/users/mjcg/ Gordon, Mike] FRS |
− | # [http://www.cs.unibo.it/~gorrieri/ |
+ | # [http://www.cs.unibo.it/~gorrieri/ Gorrieri, Roberto] |
− | # [http://www.cs.man.ac.uk/fmethods/people/graham-gough.html |
+ | # [http://www.cs.man.ac.uk/fmethods/people/graham-gough.html Gough, Graham] |
− | # [http://www.ecs.soton.ac.uk/~amg/ |
+ | # [http://www.ecs.soton.ac.uk/~amg/ Gravell, Andy] |
− | # [http://www.cs.cornell.edu/Info/People/gries/gries.html |
+ | # [http://www.cs.cornell.edu/Info/People/gries/gries.html Gries, David] |
− | # [http://www.cs.tu-berlin.de/~wg/ |
+ | # [http://www.cs.tu-berlin.de/~wg/ Grieskamp, Wolfgang] |
− | # [http://www.cs.rug.nl/~rix/ |
+ | # [http://www.cs.rug.nl/~rix/ Groenboom, Rix] |
− | # [http://www.win.tue.nl/~jfg/ |
+ | # [http://www.win.tue.nl/~jfg/ Groote, Jan Friso] |
− | # [http://www.mcs.vuw.ac.nz/people/Lindsay-Groves.shtml |
+ | # [http://www.mcs.vuw.ac.nz/people/Lindsay-Groves.shtml Groves, Lindsay] |
− | # [http://www.cs.technion.ac.il/users/orna/ |
+ | # [http://www.cs.technion.ac.il/users/orna/ Grumberg, Orna] |
− | # [http://www.abo.fi/~jgrundy/ |
+ | # [http://www.abo.fi/~jgrundy/ Grundy, Jim] |
− | # [http://www.math.bas.bg/~gelevdp/ |
+ | # [http://www.math.bas.bg/~gelevdp/ Guelev, Dimitar P.] |
− | # [http://www.adelard.co.uk/info/staff/sguerra.htm |
+ | # [http://www.adelard.co.uk/info/staff/sguerra.htm Guerra, Sofia] |
− | # [http://www-faculty.cs.uiuc.edu/~cgunter/ |
+ | # [http://www-faculty.cs.uiuc.edu/~cgunter/ Gunter, Carl A.] |
− | # [http://www.research.microsoft.com/~gurevich/ |
+ | # [http://www.research.microsoft.com/~gurevich/ Gurevich, Yuri] |
− | # [http://larch-www.lcs.mit.edu/~guttag/ |
+ | # [http://larch-www.lcs.mit.edu/~guttag/ Guttag, John V.] |
=== '''H:''' === |
=== '''H:''' === |
||
Line 397: | Line 398: | ||
# [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 |
+ | # [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] |
||
Line 417: | 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/index.php/people/278-dr-tomasz-janowski 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 468: | 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 |
+ | # [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 521: | 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.iist.unu.edu/index.php/people/214-dr-zhiming-liu 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 535: | 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 628: | 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 637: | 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 702: | 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] |
||
Line 724: | Line 728: | ||
# [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://i12www.ira.uka.de/~aroth/ Roth, Andreas |
+ | # [http://i12www.ira.uka.de/~aroth/ Roth, Andreas] |
− | # [http://www. |
+ | # [http://www.emn.fr/z-info/jroyer/ Royer, Jean-Claude] |
# [http://www.liacs.nl/~rozenber/ Rozenberg, Grzegorz] |
# [http://www.liacs.nl/~rozenber/ Rozenberg, Grzegorz] |
||
# [http://www.csl.sri.com/users/ruess/ Ruess, Harald] |
# [http://www.csl.sri.com/users/ruess/ Ruess, Harald] |
||
Line 744: | Line 748: | ||
# [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://www.iist.unu.edu/index.php/people/232-dr-jeff-sanders 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] |
||
Line 759: | Line 763: | ||
# [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://www.cse.chalmers.se/~gersch/ Schneider, Gerardo] [[Image:new.gif|((New)]] |
||
# [http://goethe.ira.uka.de/~schneider/ Schneider, Klaus] |
# [http://goethe.ira.uka.de/~schneider/ Schneider, Klaus] |
||
# [http://www.cs.rhbnc.ac.uk/people/staff/schneider.shtml Schneider, Steve] |
# [http://www.cs.rhbnc.ac.uk/people/staff/schneider.shtml Schneider, Steve] |
||
Line 764: | Line 769: | ||
# [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Scholefield:David.html Scholefield, David] |
# [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.research.microsoft.com/users/schulte/ Schulte, Wolfram] |
||
− | # [http://www.ee.surrey.ac.uk/showstaff?S.Schuman Schuman, Stephen |
+ | # [http://www.ee.surrey.ac.uk/showstaff?S.Schuman Schuman, Stephen] |
# [http://www.brics.dk/~mis/ Schwartzbach, Michael I.] |
# [http://www.brics.dk/~mis/ Schwartzbach, Michael I.] |
||
# [http://www.mathematik.uni-muenchen.de/~schwicht/ Schwichtenberg, Helmut] |
# [http://www.mathematik.uni-muenchen.de/~schwicht/ Schwichtenberg, Helmut] |
||
Line 774: | Line 779: | ||
# [http://www.inrialpes.fr/vasy/people/Wendelin.Serwe/ Serwe, Wendelin] |
# [http://www.inrialpes.fr/vasy/people/Wendelin.Serwe/ Serwe, Wendelin] |
||
# [http://www.dina.kvl.dk/~sestoft/ Sestoft, Peter] |
# [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] |
||
Line 786: | Line 792: | ||
# [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://research.nianet.org/~radu/ Siminiceanu, Radu] |
||
# [http://www.dcs.shef.ac.uk/~ajhs/ Simons, Anthony] |
# [http://www.dcs.shef.ac.uk/~ajhs/ Simons, Anthony] |
||
# [http://www.it.bton.ac.uk/staff/ds33/ Simpson, Dan] |
# [http://www.it.bton.ac.uk/staff/ds33/ Simpson, Dan] |
||
Line 837: | 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 902: | Line 910: | ||
# [http://www.cse.dmu.ac.uk/~mward/ Ward, Martin] |
# [http://www.cse.dmu.ac.uk/~mward/ Ward, Martin] |
||
# [http://www.comp.brad.ac.uk/Staff/homes/prwatson.html Watson, Phil] |
# [http://www.comp.brad.ac.uk/Staff/homes/prwatson.html Watson, Phil] |
||
− | # [http://www. |
+ | # [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://scom.hud.ac.uk/scommmw/ West, Margaret] |
||
Line 928: | Line 936: | ||
=== '''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 |
+ | # [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 943: | 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://faculty.ecnu.edu.cn/zhuhuibiao/Info_eng.html 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 997: | Line 1,005: | ||
* 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] |
||
+ | |||
+ | '''Italy:''' |
||
+ | * CNR: [http://fmt.isti.cnr.it/fmt-people.htm Group Members, Formal Methods && Tools Group] [[Image:new.gif|((New)]] |
||
'''Macau:''' |
'''Macau:''' |
||
Line 1,065: | 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]. |
||
− | * |
+ | * [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,082: | 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 |
+ | <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
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:
- Abadi, Martin
- Abdallah, Ali
- Abowd, Gregory D.
- Abraham, Uri
- Abramsky, Samson
- Abrial, Jean-Raymond
- Aceto, Luca
- Aczel, Peter
- Agha, Gul
- Alechina, Natasha
- Almstrum, Vicki
- Alpuente Frasnedo, María
- Alur, Rajeev
- Alves-Foss, Jim
- Ambler, Simon
- Andersen, Henrik R.
- André, Pascal
- Anderson, Stuart
- Anderson, Tom
- Andrews, Derek
- Andrews, Peter
- Araki, Keijiro
- Archer, Myla
- Ardis, Mark
- Arditi, Laurent
- Armando, Alessandro
- Arthan, Rob
- Arun-Kumar, S.
- Atkinson, Steven
- Avenhaus, Jürgen
- Ayala-Rincón, Mauricio
- Aziz, Adnan
- Aziz, Benjamin
B:
- Baber, Robert
- Back, Ralph-Johan
- Backhouse, Roland C.
- Baeten, Jos
- Bagnara, Roberto
- Baldamus, Michael
- Ball, Tom
- Banach, Richard
- Barker, Robin
- Barnett, Michael
- Barringer, Howard
- Barroca, Leonor
- Barros, José Bernardo
- Barthe, Gilles
- Beaudouin-Lafon, Michel
- Beckert, Bernhard
- Berry, Gérard
- Bert, Didier
- Berzins, Valdis
- Bibel, Wolfgang
- Bicarregui, Juan
- Biere, Armin
- Billington, John
- Bird, Richard
- Birrell, Andrew
- Birtwistle, Graham
- Bjørner, Dines
- Blandford, Ann
- Bledsoe, Woodrow W.
- Bloom, Bard
- Bloomfield, Robin
- Bogdanov, Kirill
- Bohn, Jürgen
- Boiten, Eerke
- Bolognesi, Tommaso
- Bolton, Christine
- Borrione, Dominique
- Bowman, Howard
- Börger, Egon
- Bornat, Richard
- Botting, Richard J.
- Boulton, Richard
- Boute, Raymond
- Bowen, Jonathan P.
- Boyer, Robert S.
- Boyle, Dave
- Bradfield, Julian
- Bradley, Steven
- Bredereke, Jan
- Breitman, Karin
- Breuer, Peter
- Brim, Lubos
- Brinksma, Ed
- Broadfoot, Philippa
- Brookes, Stephen D.
- Brown, Geoffrey
- Broy, Manfred
- Brucker, Achim D.
- Bruel, Jean-Michel
- Bruns, Glenn
- Bryans, Jeremy
- Bryant, Randy
- Bundy, Alan
- Bunkenburg, Alexander
- Burns, Alan
- Burrows, Michael
- Burstall, Rod
- Buth, Bettina
- Buth, Karl-Heinz
- Butler, Michael
- Butler, Ricky W.
- Butterfield, Andrew
C:
- Calder, Muffy (nee Thomas)
- Caldwell, James
- Cap, Clemens H.
- Cardelli, Luca
- Cardell-Oliver, Rachel
- Carreño, Victor A.
- Carrington, David
- Carruth, Al
- Cataño, Néstor
- Cau, Antonio
- Cavalcanti, Ana
- Cavalli, Ana Rosa
- Cerone, Antonio
- Chakraborty, Supratik
- Chakrapani Rao, Arun
- Chalin, Patrice
- Chang, Han-Myung
- Chapman, Richard
- Charpentier, Michel
- Chechik, Marsha
- Cheng, Betty
- Cheng, Xiaochun
- Choppy, Christine
- Christensen, Søren
- Ciancarini, Paolo
- Ciardo, Gianfranco
- Ciobanu, Gabriel
- Clark, David
- Clark, John
- Clark, Robert
- Clark, Tony
- Clarke, Edmund M.
- Clarke, Keith
- Clavel, Manuel
- Cleaveland, Rance
- Clement, Tim
- Coen-Porisini, Alberto
- Coglio, Alessandro
- Cohen, Bernie
- Cohen, Ernie
- Colin, Samuel
- Constable, Robert L.
- Cooke, John
- Coppit, David
- Cousot, Patrick
- Craigen, Dan
- Creese, Sadie
- Crew, Roger
- Cristiá, Maximiliano
- Crocker, David
- Crole, Roy L.
- Crow, Judith
- Curtis, Sharon
- Curzon, Paul
D:
- Dadeau, Frederic
- Dahl, Ole-Johan
- Dam, Mads
- Dams, Dennis
- Dart, Philip
- Daskalopulu, Aspassia
- Dawson, Mark
- Davies, Jim
- Davoren, J. M.
- de Alfaro, Luca
- Dean, Neville
- Deiß, Thomas
- Delgado Kloos, Carlos
- de Lucena, Carlos José Pereira
- Dembinski, Piotr
- de Moor, Oege
- de Moura, Leonardo
- de Sousa, Thiago C.
- Dershowitz, Nachum
- de Roever, Willem-Paul
- Denker, Grit
- Denvir, Tim
- Derrick, John
- Dierks, Henning
- Dietz, Cheryl
- Dijkstra, Edsger Wybe
- Dill, David L.
- Diller, Antoni
- Dillon, Laura K.
- d'Inverno, Mark
- Di Vito, Benedetto L.
- Dix, Alan
- Dixon, Clare
- Dong, Jin Song
- Donnelly, Alexis A.
- Dowek, Gilles
- Dranidis, Dimitris
- Duce, David
- Duke, David
- Duke, Roger
- Dunne, Steve
- Dutertre, Bruno
- Dwyer, Barry
- Dwyer, Matthew.
E:
- Easterbrook, Steve
- Ehrich, Hans-Dieter
- Eisenbach, Susan
- Eker, Steven
- Eleftherakis, George
- Emerson, E. Allen
- Engelhardt, Kai
- Eriksson, Lars-Henrik
- Ernst, Michael
- Eschbach, Robert
- Evans, Andy
- Evans, David
F:
- Facon, Philippe
- Fantechi, Alessandro
- Farmer, William, M.
- Feijs, Los
- Felici, Massimo
- Felty, Amy
- Fenton, Norman
- Ferguson, Michael J.
- Fernandez Iglesias, Manuel J.
- Fiadeiro, José Luiz
- Fidge, Colin
- Fiore, Marcelo
- Fischer, Clemens
- Fisher, Michael
- Fisler, Kathi
- Fitzgerald, John
- Flammini, Francesco
- Fleischhack, Hans
- Flener, Pierre
- Floyd, Robert W.
- Flynn, Sharon
- Fokkinga, Maarten
- Fokkink, Wan
- Foley, Simon N.
- Fourman, Mike
- Fox, Chris
- Foxley, Eric
- Fraer, Ranan
- Fränzle, Martin
- France, Robert
- Frappier, Marc
- Fraus, Ulrich
- Freire Junior, José Celso
- Froome, Peter
- Frost, Jacob
- Fuchs, Norbert
- Futatsugi, Kokichi
G:
- Gabbar, Hossam
- Gabby, Dov
- Gabrielian, Armen
- Galloway, Andy
- Ganzinger, Harald
- Garavel, Hubert
- Garlan, David
- Garland, Stephen J.
- Gaudel, Marie-Claude
- Gay, Simon
- George, Chris
- Gerhart, Susan
- Ghani, Neil
- Ghezzi, Carlo
- Ghose, Aditya K.
- Giacobazzi, Roberto
- Gibbons, Hugh
- Gibbons, Jeremy
- Gibson, Paul
- Gilmore, Stephen
- Girard, Jean-Yves
- Giunchiglia, Enrico
- Glässer, Uwe
- Gnesi, Stefania
- Godefroid, Patrice
- Goerigk, Wolfgang
- Goguen, Joseph
- Goldsack, Stephen
- Good, Donald I.
- Goodman, Howard S.
- Goos, Gerhard
- Gopalakrishnan, Ganesh
- Gordon, Andrew
- Gordon, Mike FRS
- Gorrieri, Roberto
- Gough, Graham
- Gravell, Andy
- Gries, David
- Grieskamp, Wolfgang
- Groenboom, Rix
- Groote, Jan Friso
- Groves, Lindsay
- Grumberg, Orna
- Grundy, Jim
- Guelev, Dimitar P.
- Guerra, Sofia
- Gunter, Carl A.
- Gurevich, Yuri
- Guttag, John V.
H:
- Habrias, Henri
- Haddad, Serge
- Hähnle, Reiner
- Halbwachs, Nicolas
- Hale, Roger
- Hall, Jon
- Hall, Pat
- Hamilton, Alan
- Hamlett, Dick
- Hankin, Chris
- Hanna, Keith
- Hansen, Bo Stig
- Hansen, Kirsten Mark
- Hansen, Michael R.
- Harel, David
- Harman, Mark
- Harman, Neal
- Harrison, John
- Harrison, Michael
- Harwood, Will
- Havelund, Klaus
- Haxthausen, Anne Elisabeth
- Hayes, Ian
- Hayhurst, Kelly J.
- Hazelhurst, Scott
- He, Jifeng
- He, Xudong
- Heather, James
- Heering, Jan
- Heerink, Lex
- Hehner, Eric
- Heilmann, Søren T.
- Heitmeyer, Constance L.
- Henderson, Peter
- Hennessy, Matthew
- Henson, Martin
- Henzinger, Tom
- Herbert, John
- Herranz-Nieva, Ángel
- Hewitt, Mark
- Hierons, Rob
- Hill, Pat
- Hillston, Jane
- Hinchey, Mike
- Hoare, Sir Tony FRS
- Hobley, Keith
- Hoffman, Dirk
- Hoffman, Ulrich
- Hogger, Chris
- Holcombe, Mike
- Holloway, C. Michael
- Holzmann, Gerard
- Hook, James
- Hooman, Jozef
- Hörcher, Hans-Martin
- Howe, Douglas J.
- Horning, Jim
- Hsiung, Pao-Ann (Eric)
- Hu, Alan J.
- Hubbers, Engelbert
- Huet, Gérard
- Huggins, Jim
- Hughes, Arthur
- Hughes, John
- Hulgaard, Henrik
- Hung, Dang Van
- Hunt Jr., Warren A.
- Hurd, Joe
- Hussak, Walter
- Hustadt, Ullrich
- Hüttel, Hans
- Hutter, Dieter
- Hutton, Graham
I:
J:
- Jackson, Daniel
- Jackson, Michael
- Jacky, Jonathan
- Jacob, Jeremy
- Jagadeesan, Lalita Jategaonkar
- Jähnichen, Stefan
- Janicki, Ryszard
- Janowski, Tomasz
- Janssen, Wil
- Jard, Claude
- Jarvis, Stephen
- Jensen, Kurt
- Jia, Xiaoping
- Johnson, Chris
- Jones, Claire
- Jones, Cliff
- Jones, Geraint
- Jones, Neil D.
- Jones, Richard
- Jones, Roger
- Jones, Simon B.
- Jonsson, Bengt
- Joseph, Mathai
- Josephs, Mark
- Jürjens, Jan
K:
- Kang, Kuo Chul
- Kapoor, Hemangee
- Kapoor, Kalpesh
- Karlsen, Einar
- Kaltenbach, Markus
- Kalvala, Sara
- Kars, Pim
- Katoen, Joost-Pieter
- Kaufmann, Matt
- Kefalas, Petros
- Kemmerer, Richard A.
- Khurshid, Sarfraz
- Kieburtz, Richard
- Kilpatrick, Peter L.
- Kiniry, Joseph
- King, Steve
- Klarland, Nils
- Kluit, P.G.
- Knaggs, Peter
- Knapp, Edgar
- Knight, John
- Knott, Ron D.
- Kolyang
- Kornerup, Jacob
- Kowalski, Robert
- Kozen, Dexter
- Kreitz, Christoph
- Kreowski, Hans-Jörg
- Krieg-Brückner, Bernd
- Krilavičius, Tomas
- Kronenburg, Martin
- Kromodimoeljo, Sentot
- Kröning, Daniel
- Kropf, Thomas
- Kumagai, Sadatoshi
- Kumar, K. Narayan
- Kuper, Jan
- Kurshan, Bob
- Kwiatkowska, Marta
L:
- Ladkin, Peter
- Lai, Luming
- Lakhnech, Yassine
- Lakos, Charles
- Laleau, Regine
- Lamb, David
- Lampson, Butler W.
- Lamport, Leslie
- Landin, Peter
- Lang, Frederic
- Langerak, Rom
- Langmaack, Hans
- Lano, Kevin
- Laplante, Phillip
- Larrondo-Petrie, Maria
- Larsen, Kim Guldstrand
- Larsen, Peter Gorm
- Laski, Janusz W.
- Latella, Diego
- Lau, Kung Kiu
- Lauer, Peter
- Launchbury, John
- Lazic, Ranko
- Leavens, Gary T.
- Ledru, Yves
- Leduc, Guy
- Lee, Insup
- Lee, John A. N.
- Lee, Peter
- Leeser, Miriam
- Leino, K. Rustan M.
- Lescanne, Pierre
- Leucker, Martin
- Leue, Stefan
- Leveson, Nancy
- Levitt, Jeremy R.
- Lewerentz, Claus
- Lewis, Philip M.
- Lincoln, Patrick
- Lindner, Thomas
- Lindsay, Peter
- Lisper, Björn
- Lightfoot, David
- Liu, Shaoying
- Liu, Zhiming
- Lima, José Augusto
- Lloyd, John
- Lodaya, Kamal
- Logrippo, Luigi
- Lomuscio, Alessio
- Lopes, Antónia
- Lövengreen, Hans Henrik
- Lowe, Gavin
- Lucas, Peter
- Luckham, David
- Luk, Wayne
- Luo, Zhaohui
- Lüth, Christoph
- Lüttgen, Gerald
- Lynch, Nancy
M:
- Mac an Airchinnigh, Mícheál
- MacQueen, Dave
- Madey, Jan
- Madlener, Klaus
- Maharaj, Savi
- Maibaum, Tom
- Malcolm, Grant
- Mander, Keith
- Mandrioli, Dino
- Manjunathaiah, Manju
- Manna, Zohar
- Mansfield, Tony
- Margaria, Tiziana
- Mariano, Georges
- Martin, Andrew
- Martin, Ursula
- Mascolo, Cecilia
- Massink, Mieke
- Mataga, Peter
- Mateescu, Radu
- Matthews, Brian
- Matthews, Seán
- Maung, Ian
- Mauw, Sjouke
- May, David FRS
- McCarthy, John
- McDermid, John
- McIlroy, Doug
- McLean, John D.
- McIver, Annabelle
- McMillan, Ken
- McMillin, Bruce
- Meertens, Lambert
- Meinke, Karl
- Meira, Silvio
- Meisels, Irwin
- Meldal, Sigurd
- Melham, Tom (was here)
- Mens, Kim
- Mens, Tom
- Merino Gómez, Pedro
- Méry, Dominique
- Meseguer, JosÉ G.
- Meyer, Bertrand
- Middelburg, Kees
- Miller, Alice
- Milne, George J.
- Milner, Robin FRS
- Miner, Paul S.
- Misic, Vojislav B.
- Misra, Jayadev
- Mitchell, Bill
- Mitchell, John
- Mitchell, Richard
- Moffett, Jonathan
- Mok, Aloysius K.
- Mole, David
- Möller, Bernhard
- Moller, Faron
- Moore, J Strother
- Moore, Richard
- Morasca, Sandro
- Moreno-Navarro, Juan José
- Morgan, Carroll
- Morris, Joseph M.
- Morrisett, Greg
- Morzenti, Angelo
- Moskowitz, Ira S.
- Moszkowski, Ben
- Mosses, Peter D.
- Mukherjee, Paul
- Mukund, Madhavan
- Müller-Olm, Markus
- Muñoz, César A.
- Muntean, Traian
- Murate, Tadao
- Muscholl, Anca
- Mycroft, Alan
N:
- Nadathur, Gopalan
- Nagarajan, Rajagopal
- Najm, Elie
- Naumann, David
- Nauowicz, Adam
- Necula, George
- Nederpelt, Rob
- Nelson, Greg
- Nestmann, Uwe
- Neumann, Peter G.
- Nguyen, Viet Yen
- Nicollin, Xavier
- Nickson, Ray
- Niebert, Peter
- Nielson, Flemming
- Nielson, Hanne Riis
- Nielson, Mogens
- Nipkow, Tobias
- Nissanke, Nimal
- Nordahl, Jens
O:
- O'Halloran, Colin
- O'Hearn, Peter
- Olderog, Ernst-Rüdiger
- Oliveira, José Nuno
- Oliveira, Marcel Vinícius Medeiros
- Ong, Luke
- Orava, Fredrik
- Ostroff, Jonathan
- Owe, Olaf
- Owre, Sam
P:
- Pandya, Paritosh
- Pang, Jun
- Papanikolaou, Nick
- Park, SeungJoon
- Parkin, Graeme
- Parnas, David
- Parrow, Joachim
- Parthasarathy, S.
- Pascoe, James
- Pase, Bill
- Paulin-Mohring, Christine
- Paulson, Lawrence C.
- Pearce, David
- Pearson, Justin
- Pecheur, Charles
- Peled, Doron
- Peleska, Jan
- Pepper, Peter
- Peters, Dennis K.
- Petrenko, Alexander
- Petri, Carl Adam
- Pezzè, Mauro
- Pfenning, Frank
- Philippou, Anna
- Phillips, Iain
- Pike, Lee
- Pitt, David
- Pitts, Andrew
- Plaks, Toomas
- Plat, Nico
- Plotkin, Gordon FRS
- Pnueli, Amir
- Poigné, Axel
- Polack, Fiona
- Poppleton, Michael R.
- Posegga, Joachim
- Power, James
- Power, Norah
- Prasad, Sanjiva
- Prasetya, Wishnu
- Pressburger, Thomas
- Pretschner, Alexander
- Priami, Corrado
- Probert, Robert
- Pronk, Kees
- Puchol, Carlos
- Puri, Anuj
- Pym, David J.
Q:
R:
- Rabay Filho, Gualberto
- Rajan, Sreeranga P.
- Ramanujam, R.
- Ramesh, S.
- Ravn, Anders P.
- Reed, Joy
- Reed, Mike
- Reeves, Steve
- Reisig, Wolfgang
- Reniers, Michel A.
- Reynolds, John C.
- Richardson, Debra
- Rischel, Hans
- Ritchie, Brian
- Roast, Chris
- Robert, Monica
- Robinson, Ken
- Robinson, Peter
- Roman, Gruia-Catalin
- Romijn, Judi
- Roscoe, Bill
- Roth, Andreas
- Royer, Jean-Claude
- Rozenberg, Grzegorz
- Ruess, Harald
- Ruf, Jürgen
- Rumpe, Bernhard
- Rushby, John
- Rusinowitch, Michael
- Russo Jr, Aryldo G
- Rutten, Jan
- Ryan, Mark
- Rydeheard, David E.
S:
- Saaltink, Mark
- Saglietti, Francesca
- Saiedian, Hossein
- Sampaio, Augusto
- Sánchez Fernández, Luis
- Sanders, Beverly A.
- Sanders, Jeff
- Sanderson, Michael
- Sangiorgi, Davide
- Sankar, Sriram
- Sannella, Don
- Santen, Thomas
- Sahara, Shin
- Sassone, Vladimiro
- Satoh, Ichiro
- Satpathy, Manoranjan
- Scedrov, Andre
- Schenke, Michael
- Schieferdecker, Ina
- Schmidt, Dave
- Schneider, Fred
- Schneider, Gerardo
- Schneider, Klaus
- Schneider, Steve
- Schobbens, Pierre-Yves
- Scholefield, David
- Schulte, Wolfram
- Schuman, Stephen
- Schwartzbach, Michael I.
- Schwichtenberg, Helmut
- Scott, Dana
- Sekerinski, Emil
- Semple, Dominic
- Sennett, Chris
- Sere, Kaisa
- Serwe, Wendelin
- Sestoft, Peter
- Seth, Anil
- Sewell, Peter
- Shankar, Natarajan
- Shankland, Carron
- Sheard, Tim
- Sheeran, Mary
- Shepherd, David
- Shields, Mike
- Shukla, Sandeep
- Shyamasundar, R.K.
- Siddiqi, Jawed
- Siekmann, Jörg
- Sifakis, Joseph
- Siminiceanu, Radu
- Simons, Anthony
- Simpson, Dan
- Sinclair, Jane
- Singh, Satnam
- Sipma, Henny
- Sistla, A. Prasad
- Sivakumar, G.
- Skakkebæk, Jens Ulrik
- Smaill, Alan
- Smith, Douglas
- Smith, Graeme
- Smolka, Scott A.
- Somenzi, Fabio
- Sorea, Maria
- Sørensen, Ib Holm
- Sotiriadou, Anna
- Spivey, Mike
- Srimani, Pradip
- Srivas, Mandayam
- Stachniak, Zbigniew
- Stannett, Mike
- Staples, John
- Stark, Eugene
- Stärk, Robert
- Staskauskas, Mark
- Staunstrup, Jørgen
- Stavridou, Victoria
- Stefanescu, Gheorghe
- Steffen, Martin
- Stephan, Werner
- Stepney, Susan
- Stirling, Chris
- Stocks, Phil
- Stoddart, Bill
- Stölen, Ketil
- Stone, Roger
- Stoy, Joe
- Stoyenko, Alexander
- Stringer-Calvert, David
- Süholt, Mario
- Sufrin, Bernard
- Sun, Jing
- Swatman, Paul
T:
- Taguchi, Kenji
- Tahar, Sofiène
- Tan, Yang Meng
- Tarlecki, Andrzej
- Tatibouet, Bruno
- Tenney, Richard L.
- ter Beek, Maurice
- Thiagarajan, P.S.
- Thimbleby, Harold
- Thomas, Martyn
- Thomas, Rick
- Thompson, Simon
- Till, David
- Tiuryn, Jerzy
- Tiwari, Ashish
- Toetenel, W.J.
- Tofte, Mads
- Tofts, Chris
- Tol, Ronald M.
- Tolksdorf, Robert
- Torsun, Imad S.
- Toyn, Ian
- Trybulec, Andrzej
- Tse, T.H.
- Tucker, John
- Turner, David
- Turner, Ken
- Turner, Ray
- Turski, Wladyslaw
U:
V:
- Vaandrager, Frits W.
- Vadera, Sunil
- Valmari, Antti
- van de Pol, Jaco
- van der Steen, Pleun
- van Deursen, Arie
- van de Snepscheut, Jan L.A.
- Vandevoorde, Mark T.
- van Deursen, Arie
- van Katwijk, Jan
- Vardi, Moshe Y.
- v. Bochmann, Gregor
- Velev, Miroslav N.
- Vereijken, Jan Joris
- Vickers, Steve
- Victor, Björn
- Vidal-Naquet, Guy
- Vilkomir, Sergiy
- von Karger, Burghard
- von Mayrhauser, Anneliese
- von Mohrenschildt, Martin
- von Oheimb, David
- von Wright, Joakim
- Vuillemin, Jean E.
W:
- Wadler, Philip
- Wainer, Stan S.
- Waldén, Marina
- Wallen, Lincoln
- Wand, Ian
- Wand, Mitchell
- Wang, Chao
- Ward, Martin
- Watson, Phil
- Weber-Wulff, Debora
- Weffers, Harold T. G.Welsh, Jim
- West, Margaret
- Whitty, Robin
- Wichmann, Brian
- Wiels, Virginie
- Wilding, Matthew M.
- Wilhelm, Reinhard
- Williams, Alan
- Willis, Claire
- Wilson, Stephen
- Winikoff, Michael
- Windley, Phillip J.
- Wing, Jeannette
- Winskel, Glynn
- Wirsing, Martin
- Wirth, Niklaus
- Wolff, Burkhart
- Woodcock, Jim
- Woodward, Martin
- Wolper, Pierre
- Wordsworth, John
- Wupper, Hanno
X:
Y:
Z:
- Zave, Pamela
- Zedan, Hussein
- Zhang, Guo-Qiang
- Zhang, Yu
- Zhou, Chaochen
- Zhu, Hong
- Zhu, Huibiao
- Zic, John
- Zimmer, Robert
- Zucker, Jeffery
- Zwiers, Job
Other lists
The following are lists of people at individual departments, etc., many with an interest in formal methods:
Australia:
- Queensland: Full staff list, School of Information Technology and Electrical Engineering, University of Queensland.
- SVRC: Personnel, including staff, students and visitors, and brief contact list, Software Verification Research Centre, University of Queensland.
Denmark:
- DTU: Computer Based Systems Group, Department of Computer Science, Technical University of Denmark, Lyngby.
Finland:
- Researchers in the Programming Methods Group, Åbo Akademi.
France:
- LRI, Orsay: Members of Équipe Génie Logiciel.
- MEIJE, INRIA: MEIJE people.
- Nantes: Members of MSF.
- Verimag: People at VERIMAG, Montbonnot-St Martin.
Germany:
- Dortmund: Computer Networks and Distributed Systems Group.
- Karlsruhe: Hardware Verification Group, University of Karlsruhe.
- Oldenburg: Semantics Unit, Informatics Department, Oldenburg University.
Greece:
- Computer Science Department, CITY College, Thessaloniki.
- South-East European Network on Formal Methods (SEEFM). See also research groups.
- TIFR: Members, Theoretical Computer Science Group, Tata Institute of Fundamental Research, Bombay.
- Dublin: Foundations & Methods Group, Trinity College Dublin.
Israel:
- Weizmann Institute of Science: Scientific Personnel, Minerva Center for Verification of Reactive Systems
Italy:
Macau:
- UNU/IIST: Personnel.
Netherlands:
- Eindhoven: Formal Methods Group, and Mathematics of Program Construction section, Computing Science Department, TU Eindhoven.
- Twente: Formal Methods Group, Department of Computer Science, University of Twente.
New Zealand:
- Waikato: Formal Methods Laboratory University of Waikato, Hamilton.
Portugal:
- Minho: Members of the Logic and Formal Methods Group, University of Minho.
Sweden:
- SICS: Members of the Formal Design Techniques group, SICS/KTH.
UK:
- Adelard: Company Staff, London
- Cambridge: Theory and Semantics of Programming Languages and Automated Reasoning Group, University of Cambridge Computer Laboratory.
- Edinburgh: Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh.
- Essex: Logic and Formal Methods Group, Department of Computer Science, University of Essex.
- Glasgow: Formal Methods and Theory Group, Department of Computer Science, University of Glasgow.
- Kent: Theoretical Computer Science Group, Department of Computer Science, University of Kent at Canterbury (UKC).
- London: Theory and Formal Methods Section, Imperial College (and visitors). See also Logic and Foundations of Programming Group, Queen Mary Westfield.
- London South Bank: Centre for Applied Formal Methods, Faculty of BCIM, London South Bank University. See photographs.
- Manchester: Formal Methods Group, Department of Computer Science, University of Manchester.
- Oxford: Staff at Oxford University Computing Laboratory. particularly the Programming Research Group, including research staff.
- Sheffield: Correct Systems Research Group, Department of Computer Science, The University of Sheffield.
- Swansea: Algebraic Methods for the Design of Hardware and Software group, Dept. of Computer Science, University of Swansea.
- York: Group Members of the High Integrity Systems Engineering Group, Department of Computer Science, University of York.
USA:
- Bell Labs: Formal Methods People, Bell Laboratories, Murray Hill, New Jersey.
- CLI: Computational Logic, Inc. Staff, Austin, Texas.
- CMU: Model Checking Project Members, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
- Cornell: Formal Methods researchers, Cornell University.
- Kestrel Institute: Research Staff, Palo Alto, California.
- Michigan: Software Engineering Research Group (SERG), Michigan State University.
- Microsoft: Foundations of Software Engineering Group, Microsoft Research, Redmond.
- MIT: Systematic Program Development Group.
- NASA: Langley Formal Methods Civil Servants.
- NRL: Personnel at the Center for High Assurance Computer Systems, Washington DC.
- SRI: Formal Methods and Dependable Systems Group, Computer Science Laboratory, SRI International, Menlo Park, California.
- Stanford: Formal Reasoning Group, Computer Science Department; Hardware Verification Group, Computer Systems Laboratory; Rapide Project, Stanford University, California.
- UTCS: Real-Time Systems research group, Department of Computer Sciences, University of Texas at Austin.
- VIS: Group index, UC Berkeley, UT Austin, etc.
International:
- IFIP Working Group 2.1 members (Algorithmic Languages and Calculi).
- Logical Frameworks.
- Programming Languages and Compilers.
- B User Group "phone book".
- IFIP WG 2.2 members.
- FMOODS community.
Many of these pages provide links to further information and on-line papers on formal methods.
See also
- Formal Method > Authors, Microsoft Academic Search↑.
- Formal methods authors, Google Scholar↑.
- Mobile Processes People.
- Most cited authors in computer science (many related to formal methods) and also with article citation counts normalized by publication year in the Research Index database.
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.