Associate Professor
University of Maryland, College Park, Maryland, United StatesThe Department of Computer Science at the University...
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.
Mozilla, Creative Commons Want to Reimagine the Internet Without Ads, and They Have $100M to Do it
09.20.2019The Grant for the Web program will give roughly $20 …
Google Unveils DNS-over-HTTPS (DoH) Plan, Mozilla's Faces Criticism
09.20.2019DNS-over-HTTPS allows DNS resolution to be conducted over encrypted HTTPS …
Report Reveals Growing Threat of Cyberattacks to Food Safety
09.19.2019Cyberattacks pose a rising threat to food production and safety …
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
Assistant Professor
University of New Mexico, Computer Science, Albuquerque, New Mexico, United StatesThe Department of Computer Science in the School...
University of Pennsylvania, Philadelphia, Pennsylvania, United States
The School of Engineering and Applied Science...
Assistant Professor
University of Pennsylvania, Philadelphia, Pennsylvania, United StatesThe University of Pennsylvania's Department of...