A convergence of body, brain
Thursday, March 31, 2011
Honey bees are responsible for pollinating about 1/3rd of
the crops that we eat. Yet, bees are also dying at an
alarming rate due to a mysterious syndrome known as "colony
collapse disorder". If the bees disappear, what will
The goal of the NSF-funded Harvard RoboBees project is to
investigate whether it's possible to build an artificial
hive of bees that can pollinate crops. In addition to
pollination, we believe that coordinated swarms of flying,
micro-robotic insects will have many other applications,
from environmental monitoring to search-and-rescue.
But the challenges in realizing an artificial hive are
tremendous, and to address them, our researchers include a
mix of mechanical, materials, and electrical engineers,
as well as computer scientists, biologists, and
Together,we're addressing hard problems from fabricating the
bees, to controlling them during flight, to coordinating
their collective action.
received his B.S. in Mathematics and Computer Science from
the University of Richmond in 1989, and his Ph.D. from
Carnegie Mellon in 1995. He served on the faculty of
Computer Science at Cornell from 1996-2003. In 2004, he
moved to Harvard as the Allen B. Cutting Professor of
Computer Science, and assumed the position of Associate Dean
for Computer Science and Engineering from September of 2007
to July of 2010.
Morrisett's research has focused on the programming language
design and implementation, as well as software security.
He is best known for his work on developing type systems
that guarantee strong safety and security properties for
low-level languages, including typed intermediate compiler
languages, typed assembly language, and Cyclone, a type-safe
dialect of C.
Morrisett has received a number of awards for his research
on programming languages, type systems, and software
security, including a Presidential Early Career Award for
Scientists and Engineers, an NSF Career Award, and an Alfred
P. Sloan Fellowship. He served as Chief Editor for the
Journal of Functional Programming, and as an associate
editor for ACM Transactions on Programming Languages and
Systems and for Information Processing Letters. Morrisett
currently serves on the NSF CISE Advisory Council, the DARPA
Information Science and Technology Study Group, and
Microsoft's Trusthworthy Computing Academic Advisory Board.