Formal Methods Wiki
Register
Advertisement


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 New
  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. Cau, Antonio
  10. Cavalcanti, Ana
  11. Cavalli, Ana Rosa
  12. Cerone, Antonio (New)
  13. Chakraborty, Supratik
  14. Chakrapani Rao, Arun
  15. Chalin, Patrice
  16. Chang, Han-Myung
  17. Chapman, Richard
  18. Charpentier, Michel
  19. Chechik, Marsha
  20. Cheng, Betty
  21. Cheng, Xiaochun
  22. Choppy, Christine
  23. Christensen, Søren
  24. Ciancarini, Paolo
  25. Ciardo, Gianfranco
  26. Ciobanu, Gabriel
  27. Clark, David
  28. Clark, John
  29. Clark, Robert
  30. Clark, Tony
  31. Clarke, Edmund M.
  32. Clarke, Keith
  33. Clavel, Manuel
  34. Cleaveland, Rance
  35. Clement, Tim
  36. Coen-Porisini, Alberto
  37. Coglio, Alessandro
  38. Cohen, Bernie
  39. Cohen, Ernie
  40. Colin, Samuel
  41. Constable, Robert L.
  42. Cooke, John
  43. Coppit, David
  44. Cousot, Patrick
  45. Craigen, Dan
  46. Creese, Sadie
  47. Crew, Roger
  48. Cristiá, Maximiliano
  49. Crocker, David
  50. Crole, Roy L.
  51. Crow, Judith
  52. Curtis, Sharon
  53. 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 New
  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 (New)
  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 New
  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 (New)
  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. 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. Nicollin, Xavier
  12. Nickson, Ray
  13. Niebert, Peter
  14. Nielson, Flemming
  15. Nielson, Hanne Riis
  16. Nielson, Mogens
  17. Nipkow, Tobias
  18. Nissanke, Nimal
  19. 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. Reynolds, John C.
  11. Richardson, Debra
  12. Rischel, Hans
  13. Ritchie, Brian
  14. Roast, Chris
  15. Robert, Monica
  16. Robinson, Ken
  17. Robinson, Peter
  18. Roman, Gruia-Catalin
  19. Romijn, Judi
  20. Roscoe, Bill
  21. Royer, Jean-Claude
  22. Rozenberg, Grzegorz
  23. Ruess, Harald
  24. Ruf, Jürgen
  25. Rumpe, Bernhard
  26. Rushby, John
  27. Rusinowitch, Michael
  28. Russo Jr, Aryldo G
  29. Rutten, Jan
  30. Ryan, Mark
  31. 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 ((New)
  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, Klaus
  23. Schneider, Steve
  24. Schobbens, Pierre-Yves
  25. Scholefield, David
  26. Schulte, Wolfram
  27. Schuman, Stephen, (New)
  28. Schwartzbach, Michael I.
  29. Schwichtenberg, Helmut
  30. Scott, Dana
  31. Sekerinski, Emil
  32. Semple, Dominic
  33. Sennett, Chris
  34. Sere, Kaisa
  35. Serwe, Wendelin
  36. Sestoft, Peter
  37. Sewell, Peter
  38. Shankar, Natarajan
  39. Shankland, Carron
  40. Sheard, Tim
  41. Sheeran, Mary
  42. Shepherd, David
  43. Shields, Mike
  44. Shukla, Sandeep
  45. Shyamasundar, R.K.
  46. Siddiqi, Jawed
  47. Siekmann, Jörg
  48. Sifakis, Joseph
  49. Simons, Anthony
  50. Simpson, Dan
  51. Sinclair, Jane
  52. Singh, Satnam
  53. Sipma, Henny
  54. Sistla, A. Prasad
  55. Sivakumar, G.
  56. Skakkebæk, Jens Ulrik
  57. Smaill, Alan
  58. Smith, Douglas
  59. Smith, Graeme
  60. Smolka, Scott A.
  61. Somenzi, Fabio
  62. Sorea, Maria
  63. Sørensen, Ib Holm
  64. Sotiriadou, Anna
  65. Spivey, Mike
  66. Srimani, Pradip
  67. Srivas, Mandayam
  68. Stachniak, Zbigniew
  69. Stannett, Mike
  70. Staples, John
  71. Stark, Eugene
  72. Stärk, Robert
  73. Staskauskas, Mark
  74. Staunstrup, Jørgen
  75. Stavridou, Victoria
  76. Stefanescu, Gheorghe
  77. Steffen, Martin
  78. Stephan, Werner
  79. Stepney, Susan
  80. Stirling, Chris
  81. Stocks, Phil
  82. Stoddart, Bill
  83. Stölen, Ketil
  84. Stone, Roger
  85. Stoy, Joe
  86. Stoyenko, Alexander
  87. Stringer-Calvert, David
  88. Süholt, Mario
  89. Sufrin, Bernard
  90. Sun, Jing
  91. 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. Thiagarajan, P.S.
  8. Thimbleby, Harold
  9. Thomas, Martyn
  10. Thomas, Rick
  11. Thompson, Simon
  12. Till, David
  13. Tiuryn, Jerzy
  14. Tiwari, Ashish
  15. Toetenel, W.J.
  16. Tofte, Mads
  17. Tofts, Chris
  18. Tol, Ronald M.
  19. Tolksdorf, Robert
  20. Torsun, Imad S.
  21. Toyn, Ian
  22. Trybulec, Andrzej
  23. Tse, T.H.
  24. Tucker, John
  25. Turner, David
  26. Turner, Ken
  27. Turner, Ray
  28. 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. Ward, Martin
  8. Watson, Phil
  9. Weber-Wulff, Debora
  10. Weffers, Harold T. G.Welsh, Jim
  11. West, Margaret
  12. Whitty, Robin
  13. Wichmann, Brian
  14. Wiels, Virginie
  15. Wilding, Matthew M.
  16. Wilhelm, Reinhard
  17. Williams, Alan
  18. Willis, Claire
  19. Wilson, Stephen
  20. Winikoff, Michael
  21. Windley, Phillip J.
  22. Wing, Jeannette
  23. Winskel, Glynn
  24. Wirsing, Martin
  25. Wirth, Niklaus
  26. Wolff, Burkhart
  27. Woodcock, Jim
  28. Woodward, Martin
  29. Wolper, Pierre
  30. Wordsworth, John
  31. Wupper, Hanno

X:

  1. Xu, Qiwen
  2. Xu, Wang (New)

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 12 Jul 2010
  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:

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 16 August 2010.
Advertisement