Cambridge University / University of Pennsylvania / MIT / American Mathematical Society / University of Edinburgh / Department of Computer / /
Person
Tobias Nipkow / Aaron Bohannon / Peter Wegner / Rance Cleaveland / Mandayam K. Srivas / Mark Bromley / Robert W. Floyd / Pierre-Louis Curien / Robert Pollack / James F. Cremer / Formal Methods / Matt Kaufmann / Theoretical Aspects / Luca Cardelli / Dimitrios Vytiniotis / Benjamin C. Pierce / Prakash Panangaden / James T. Sasaki / Mathematical Aspects / J. Strother Moore / Natarajan Shankar / Christian Suttner / Robert W. Harper / Sreeranga Rajan / Stuart F. Allen / Brian E. Aydemir / Stephanie Weirich / Robin Milner / Sam Owre / Mads Tofte / Steve Zdancewic / Atsushi Igarashi / Andre Scedrov / Frank Pfenning / Yves Bertot / Scott F. Smith / John C. Mitchell / Todd B. Knoblock / Matthew Fairbairn / Holger Hoos / Pierre Castran / Douglas J. Howe / Simone Martini / Lawrence C. Paulson / Paul Mendler / Tony Hoare / George Porter / Peter Sewell / Zhaohui Luo / Carsten Sch / Geoff Sutcliffe / Markus Wenzel / Philip Wadler / J. Nathan Foster / David MacQueen / Geoffrey Washburn / Giorgio Ghelli / Panagiotis Manolios / John M. Rushby / Louise A. Dennis / Ian Green / Thomas Stuetzle / /
Position
editor / Proof Assistant / same proof assistant / L. Constable / assistant / /