Computer Science · Physical Sciences
36h-index9.8kcitations292works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(63), Teaching and Learning Programming(35), Parallel Computing and Optimization Techniques(31), Formal Methods in Verification(31), Distributed and Parallel Computing Systems(28)
Publications286 total
ACM eBooks·2022· 2 cited
ACM eBooks·2022
A Conversation with Tim Teitelbaum
eCommons (Cornell University)·2015
A Conversation with Fred Schneider
eCommons (Cornell University)·2015
A Conversation with David Gries
eCommons (Cornell University)·2015
A Conversation with Robert L. Constable
eCommons (Cornell University)·2015
A Conversation with Richard W. Conway
eCommons (Cornell University)·2015
A Conversation with John E. Hopcroft
eCommons (Cornell University)·2015
A Conversation with Anil Nerode
eCommons (Cornell University)·2014
Mathematical Foundations of Computer Science: Sets, Relations, and Induction
2012· 5 cited
Discrete mathematics/structures: how do we deal with the late appreciation problem?
2009· 3 cited
2008· 30 cited
ACM SIGCSE Bulletin·2008· 16 cited
Computer·2006· 11 cited
Lecture notes in computer science·2006
Proceedings·2006· 2 cited
Lecture notes in computer science·2005
Lecture notes in computer science·2005· 16 cited
Teaching program development
Journal of computing sciences in colleges·2005· 1 cited
page 1 of 15Next →
Frequent Co-authors
Susan Owicki(5), Michael C. Mulder(4), A. Joe Turner(4), Paul R. Young(4), Fred B. Schneider(4), Peter J. Denning(3), Douglas E. Comer(3), Allen B. Tucker(3), Jayadev Misra(3), Gary Levin(3), W. H. J. Feijen(2), A. J. M. van Gasteren(2), Jahnavi Misra(2), Van Nguyen(2), Ralph-Johan J. Back(1), F.B. Schneider(1), Allan Tucker(1), Diana E. Comer(1), Jon Bentley(1), Jerome A. Feldman(1)