There remains a gulf between computation models like Turing machines that appear in theory of computation texts, and introductory programming languages. The simple and powerful Scheme programming ...

This year a series of events around the world will celebrate the work of Alan Turing, the father of the modern computer, as the 100th anniversary of his birthday approaches on June 23. In a book ...

Ashutosh Trivedi is an Associate Professor of computer science at the University of Colorado Boulder. His researchinterests lie at the intersection of computer science, control theory, and machine ...