Assistant Professor
Santa Clara University, Santa Clara, California, United StatesThe Department of Mathematics and Computer Science...
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.
