Assistant Professor
The University of Tulsa, Tulsa, Oklahoma, United StatesThe Tandy School 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.
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
Engineer
Pacific Northwest National Laboratory (PNNL), Richland, Washington, United StatesThe Pacific Northwest National Laboratory (PNNL)...
Faculty Position
Williams College, Williamstown, Massachusetts, United StatesDescription The Department of Computer Science...
Assistant Professor
University of Wisconsin, Eau Claire, Eau Claire, Wisconsin, United StatesPOSITION: Two tenure-track faculty positions...