Consulting at Virtalabs
I'll be spending the summer working with Virtalabs, software and hardware that analyzes equipment power consumption for anomalies and signs of malware.
A Lesson on Instruction Set Architectures (ISAs)
An Instruction Set Architecture (ISA) is a language that hardware and software use to communicate. This introductory, interactive lesson will cover ISA basics, instructions, assembly, and the power of abstraction. The material is based on my lectures from a sophomore/junior level Introduction to Computer Organization course.
Teaching Computers to Verify Themselves
Correctness is the driving force behind my research. Incorrect operation of silicon chips has lasting, and sometimes devastating, effects on computer systems and their manufacturers, from erroneous pace makers, to incorrect computation results, to security vulnerabilities affecting end users, to financial impact on the vendors. Correctness challenges are driven by...
Creative Process Engineering Projects
This semester's Creative Process is off to a great start! Creative Process is a class where students are encouraged, in an interdisciplinary way, to explore their own creativity. (UARTS 250 at Michigan) Check out some of the engineering mini-projects where students used Makey Makeys to solve a problem of their...
A Lesson on Data Abstraction
Data abstraction helps computer scientists model complex phenomena and makes programs easier to maintain and modify. This interactive lesson will focus on computer science concepts that apply to many different programming languages, although examples will be in C++. The material is based on my lectures from a 200-level programming and...
42 Hours of Re-Creativity
This year's 42 Hours of Re-Creativity was focused on wearables, and had a great showing of teams. Students from two groups used computing in their projects, both integrating computing using a Makey-makey into their wearable projects.