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