I still get a hand on software and electronic hardware. Some of this can be found on our Kit Close-Up video series. You can also see me on many of our TechXchange Talk videos.

This branch of mathematical logic underpins the verification of complex software systems, ensuring that desired properties – such as safety, liveness, and responsiveness – persist throughout ...

C. Jason Woodard, Narayan Ramasubbu, F. Ted Tschang, V. Sambamurthy, Design Capital and Design Moves: The Logic of Digital Business Strategy, MIS Quarterly, Vol. 37 ...