Assistant Professor
School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, Oregon, United StatesMULTIPLE FACULTY POSITIONS IN 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.
How State Election Officials Are Contributing to Weak Security in 2020
09.13.2019A study by cybersecurity company NormShield found U.S. state election …
Artificial Leg with Sensors Helps People Feel Every Step
09.13.2019A new artificial leg is equipped with sensors that allow …
AI Technology Could Identify Those at Risk of Fatal Heart Attacks, Research Claims
09.13.2019New artificial intelligence technology can help gauge a person's risk …
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
Denison University, Granville, Ohio, United StatesDenison University invites applications for a...
Assistant Professor
Santa Clara University, Santa Clara, California, United StatesThe Department of Mathematics and Computer Science...
Network Analyst Computer
Monash University, Clayton, Victoria, AustraliaJob No.: 597023 Location: Clayton campus Employment...