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.
Intel Server-Grade CPUs Impacted by New NetCAT Attack
09.16.2019Researchers have described a new exploit targeting Intel central processing …
Smile-to-Pay: Chinese Shoppers Turn to Facial Payment Technology
09.16.2019China is embracing facial payment technology, which allows consumers to …
Computing 'Boot Camp' is Showing that 'Anyone Can Be a Coder'
09.16.2019School of Code is a U.K.-based startup that offers 15 …
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...