Assistant Professor
Miami University, Oxford, Ohio, United StatesInteractive Media Studies: Assistant Professor...
Communications of the ACM
Are My Requirements Complete?
11.26.2019Knowing the notion of sufficient completeness and the theory of abstract data types helps practitioners produce better requirements.
Leonardo da Vinci's Robot Lion
11.04.2019We are celebrating the 500th anniversary of Leonardo da Vinci's death with a major exhibition of the Renaissance painter's works.
Japanese Researchers Teaching Robots to Repair Themselves
12.12.2019Researchers have demonstrated how to teach a PR2 robot to …
Bioprinter Shows Potential to Speed Tissue Engineering
12.12.2019Researchers have developed a bioprinter that can speed computer-controlled creation …
Framework Brings Accuracy, Efficiency to Identifying Stop Words
12.12.2019An algorithmic approach for data analysis automatically recognizes uninformative words …
Automated Program Repair
Automated program repair can relieve programmers from the burden of manually fixing the ever-increasing number of programming mistakes.
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world deep learning systems.
Featured Jobs
Cybersecurity
United States Naval Academy, Annapolis, Maryland, United StatesThe U.S. Naval Academy invites applications for...
Director of Worker's Compensation
ETH Zurich, Zurich, Zurich, SwitzerlandThe Department of Information Technology and...
Director of Worker's Compensation
ETH Zurich, Zurich, Zurich, SwitzerlandThe Department of Information Technology and...