Assistant Professor
University of Southern California, Los Angeles, California, United StatesAssistant Professor of Quantitative and Computational...
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.
Website Rates Security of Internet-Connected Devices
09.17.2019The site, https://yourthings.info, features rankings of 45 devices on their …
AI as Good as Mahler? Austrian Orchestra Performs Symphony with Twist
09.17.2019A researcher at the Ars Electronica Futurelab research center in …
Hacking the Smart Home via the Internet of Things
09.17.2019A group of researchers uncovered implementation flaws in Internet of …
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
CAD
Wellesley College, Wellesley, Massachusetts, United StatesJob Summary: Wellesley College invites applications...
Faculty
Duke Kunshan University, Kunshan, Jiangsu, ChinaDuke Kunshan University (DKU) invites applications...
Assistant Professor
Drake University, Des Moines, Iowa, United StatesThe Drake University Department of Mathematics...