Human-technology interface
Professor Kathleen Fisher explains how recent developments by DARPA have allowed computer scientists to use mathematical proofs to verify that code—up to 100,000 lines of it at a time—is functionally correct and free of bugs.
Faculty
,
Women engineers
,
Human-technology interface
Professor Matthias Scheutz spoke to Austria's Der Standard about the unidirectional emotional bonds that humans can create between themselves and robots like automated vacuum cleaners.
Faculty
,
Human-technology interface
,
Research news
Subscribe to Human-technology interface