Associate Professor
Purdue University, West Lafayette, Indiana, United StatesThe School of Electrical and Computer Engineering...
Communications of the ACM
September 2019
- DAML: The Contract Language of Distributed Ledgers
- Velocity in Software Engineering
- Surviving Software Dependencies
- Alloy: A Language and Tool for Exploring Software Designs
- Computational Sustainability: Computing for a Better World and a Sustainable Future
The African Enigma: Who Knows More?
09.05.2019Tally sticks and notched bones are among the oldest digital data carriers.
A Minuscule Percentage of Students Take High School Computer Science in the United States: Access Isn't Enough
09.02.2019Likely less than 4% of U.S. high school students take a computer science course.
AI Learns to Defy Laws of Physics to Win at Hide-and-Seek
09.18.2019Scientists at the OpenAI artificial intelligence laboratory developed bots that …
Smart TVs Sending Sensitive User Data to Netflix, Facebook
09.18.2019A new study has found that certain smart TVs and …
Engineers Develop Multimaterial Fiber 'Ink' for 3D-Printed Devices
09.18.2019A new method utilizes standard three-dimensional printers to produce functioning …
09.01.2019
Alloy: A Language and Tool for Exploring Software Designs
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
Featured Jobs
Industrial Engineer
Purdue University, West Lafayette, Indiana, United StatesPurdue University COLLEGE OF ENGINEERINGFACULTY...
Assistant Professor
Murray State University, Murray, Kentucky, United StatesPosting Number 18190048FAC Job Title Assistant...
Professor
University of Richmond, Richmond, Virginia, United StatesMathematics and Computer Science: Assistant,...