Faculty
Max Planck Society, Saarbruecken, Kaiserslautern, Bochum, Saarland, GermanyThe Max Planck Institutes for Informatics (Saarbruecken)...
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.
Software Aims To Make Science More Replicable
12.10.2019A new open-source program combines the functions of a word …
Amazon Rolls Out Quantum-Computing Service
12.10.2019Amazon Web Services has launched a platform that lets enterprise …
New Data Addresses Gap in Fusion Research
12.10.2019Researchers have developed a method of enhancing the accuracy of …
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
Assistant Professor
Radford University, Radford, Virginia, United StatesThe Department of Information Technology is seeking...
Assistant Professor
Ramapo College of New Jersey, Mahwah, New Jersey, United StatesRAMAPO COLLEGE OF NEW JERSEY: Mission: Ramapo...
Assistant Professor
Barnard College, New York, New York, United StatesBarnard seeks to hire a tenure-track assistant...