Research Projects - Björn Hartmann

Large Projects

  • Expeditions in Computer Augmented Program Engineering (ExCAPE)
    Rajeev Alur, Ratislav Bodik, Jeff Foster, Björn Hartmann, Lydia Kavraki, Hadas Kress-Gazit, Stephane Lafortune, Boon Thau Loo, P. Madhusudan, Milo Martin, George Pappas, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Armando Solar-Lezama, Paulo Tabuada, Stavros Tripakis, Moshe Vardi, Steve Zdancewic, Sarah Chasins, Peggy Chi, Dorsa Sadigh, Phitchaya Phothilimthana, Ali Sinan Koksal and Nishant Totla
  • Human Intranet
    Jan M. Rabaey, Ana Claudia Arias, Pieter Abbeel, Jose M. Carmena, Björn Hartmann, Michel Maharbiz, Joanne Lo and Ali Moin
  • The Secure Internet of Things Project (SITP)
    Peter Bailis, Dan Boneh, David E. Culler, Prabal Dutter, Dawson Engler, Björn Hartmann, Mark Horowitz, Greg Kovacs, Christos Kozyrakis, Philip Levis, David Mazières, Raluca Ada Popa, Christopher Ré and Keith Winstein

Small Projects

Send requests for updates to researchupdates@eecs, or Login to make changes yourself.