My Group
Our blog: Automated reasoning goup

Current Graduate Students and Postdocs
  • Kalev Kask [ mail ]
  • William Lam [ www ]
  • Junkyu Lee [ www ]
  • Filjor Broka [ mail ]
  • Zhengli Zhao [ www ]

Graduated Students and Postdocs
  • Natalia Flerova [ www ] Graduated June 2015
  • Andrew Gelfand [ www ] Graduated June 2014
  • Lars Otten [ www ] Graduated March 2013
  • Emma Rollon [mail ] 2009
  • Vibhav Gogate [ www ] Graduated June 2009
  • Tuan Nguyen [ www ] Graduated 2009
  • Radu Marinescu [ www ] Graduated June 2008
  • Robert Mateescu [ www ] Graduated June 2007
  • Bozhena Biduk [ www ] Graduated June 2006
  • Javier Larrosa [ www | mail ] 2000-2001
  • Kalev Kask [ www | mail ] Graduated June 2002
  • Irina Rish [ www | mail ] Graduated June 1999
  • Eddie Schwalb [ www | mail ] Graduated May, 1998
  • Dan Frost [ www | mail ] Graduated June 1997
  • Lluis Vila [ www | mail ]
  • Rachel Ben Eliyahu [ www | mail ] Graduated 1994 (UCLA)
  • Itay Meiri [ www | mail ] Graduated 1992 (UCLA)
  • Zeev Collin [ www | mail ] MSc, Technion, 1990