Associate Professor
Monash University, Clayton, Victoria, AustraliaJob No: 592246 Location: Clayton campus Employment...
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
Assistant Professor
Santa Clara University, Santa Clara, California, United StatesThe Department of Computer Science & Engineering...