Lecturer
Massey University, Palmerston North/Tianjin, China, Manawatu-Wanganui, New ZealandSchool of Fundamental SciencesTianjin, China Massey...
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.
Producing Glass with a 3D Printer
12.05.2019Researchers employed three-dimensional printing to manufacture complex and porous glass …
Electro-Optical Device Provides Solution to Faster, More Energy-Efficient Computing Memories, Processors
12.05.2019Researchers have developed a nanoscale device that is programmable with …
Scientists Spot Undersea Fault Using Fiber-Optic Cables
12.05.2019Scientists discovered a new underwater fault five miles off Monterey …
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
Associate Professor
Moravian College, Bethlehem, Pennsylvania, United StatesPOSITION SUMMARY: Moravian College invites applications...
Assistant Professor
Frostburg State University, Frostburg, Maryland, United StatesFrostburg State University, Department of Computer...
Assistant Professor
DePaul University - School of Computing, Chicago, Illinois, United StatesDePaul University’s School of Computing invites...