My past and present collaborators

Gene Allgower (Colorado State University, Fort Collins, CO, USA)

Andrea Beccuti (formerly ETH, Zürich, Switzerland)

Frédéric Bihan (University of Savoie, Le Bourget-du-Lac Cedex, France)

Dan Brake (Colorado State University, Fort Collins, CO, USA)

Brent Davis (Colorado State University, Fort Collins, CO, USA)

Wolfram Decker (Technische Universit├Ąt Kaiserslautern, Kaiserslautern, Germany)

David Eklund (Prover Technologies, Stockholm, Sweden)

Elizabeth Gross (San Jose State University, San Jose, CA, USA)

Ioannis Fotiou (formerly ETH, Zürich, Switzerland)

Eric Hanson (Colorado State University, Fort Collins, CO, USA)

Jon Hauenstein (North Carolina State University, Raleigh, NC, USA)

Michael Kirby (Colorado State University, Fort Collins, CO, USA)

Anton Leykin (Georgia Institute of Technology, Atlanta, GA, USA)

Ye Lu (City University of Hong Kong, Hong Kong)

Tony Maciejewski (Colorado State University, Fort Collins, CO, USA)

Justin Marks (Bowdoin College, Brunswick, ME, USA)

Tim McCoy (University of Notre Dame, South Bend, IN, USA)

Manfred Morari (ETH, Zürich, Switzerland)

Matthew Niemerg (Colorado State University, Fort Collins, CO, USA)

Chris Peterson (Colorado State University, Fort Collins, CO, USA)

Gerhard Pfister (Universität Kaiserslautern, Kaiserslautern, Germany)

Vakhtang Putkaradze (University of Alberta, Edmonton, Alberta, Canada)

Jose Rodriguez (University of California - Berkeley, Berkeley, CA, USA)

Philipp Rostalski (formerly ETH, Zürich, Switzerland)

Frank-Olaf Schreyer (Universität des Saarlandes, Sarbrücken, Germany)

Andrew Sommese (University of Notre Dame, Notre Dame, IN, USA)

Frank Sottile (Texas A & M University, College Station, TX, USA)

Charles W. Wampler (General Motors Research and Development, Warren, MI, USA)

Collaborators with whom I have work in progress (with a publication clearly on the way)

Mike Antolin (Colorado State University, Fort Collins, CO, USA)

Jesse Drendel (Colorado State University, Fort Collins, CO, USA)

Jeremy Gunawardena (Harvard Medical School, Boston, MA, USA)

Benjamin Gyori (National University of Singapore, Singapore)

Heather Harrington (Oxford University, Oxford, UK)

Ken Ho (Stanford University, Palo Alto, CA, USA)

Nicolette Meshkat (North Carolina State University, Raleigh, NC, USA)

Chris Nam (Swarthmore College, Swarthmore, PA, USA)

Andrew Newell (North Carolina State University, Raleigh, NC, USA)

Patrick Shipman (Colorado State University, Fort Collins, CO, USA)

Simon Tavener (Colorado State University, Fort Collins, CO, USA)