Automated Reasoning Group

Members

Anthony Fox
Mateja Jamnik
Zohreh Shams
Chaitanya Mangla
Larry Paulson
Wenda Li
Kawin Worrasangasilpa
Angeliki Koutsoukou-Argyraki
Anthony Bordg


Past members include Mike Gordon, Behzad Akbarpour, Hasan Amjad, Clemens Ballarin, Bruno Barras, Giampaolo Bella, Frédéric Blanqui, Richard Boulton, James Bridge, Amine Chaieb, Aaron Coble, Richael Compton, Paul Curzon, William Denman, Katherine Eastaughffe, Sidi Ould Ehmety, Jacques Fleuriot, Andy Gordon, Alexey Gotsman, Jim Grundy, John Harrison, Marieke Huisman, Warren A. Hunt Jr., Joe Hurd, Juliano Iyoda, Sara Kalvala, Florian Kammueller, Ken Friis Larsen, James Margetson, Ursula Martin, Jean Martina, Tom Melham, Jia Meng, Michael Norrish, Chris Owens, Valeria de Paiva, Claire Quigley, James Reynolds, Kristin Yvonne Rozier, Konrad Slind, Mark Staples, Daryl Stewart, Rok Strniša, Kong Woei Susanto, Donald Syme, Thomas Türk, Myra VanInwegen, Tanja Vos, Tjark Weber, Yichi Zhang, Zongyan Huang, Eric Koskinen, Ramana Kumar, Magnus Myreen, Grant Olney Passmore, William Sonnex, Nik Sultana
  Long-term projects
HOL
Isabelle




Links
Lab Publications
Technical Reports
Search
Haiku
Last modified on Tue Sep 23 19:46:00 CET 2015 by ns441 | Privacy policy