Dexter Kozen: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 10: | Line 10: | ||
He is known for his seminal work at the intersection of logic and complexity. |
He is known for his seminal work at the intersection of logic and complexity. |
||
He is one of the fathers of dynamic logic<ref>[[David Harel]], Dexter Kozen, and [[Jerzy Tiuryn]], "Dynamic Logic". MIT Press, 2000.</ref> and developed the version of the [[model mu-calculus]] most used today<ref>Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.</ref>. |
He is one of the fathers of dynamic logic<ref>[[David Harel]], Dexter Kozen, and [[Jerzy Tiuryn]], "Dynamic Logic". MIT Press, 2000.</ref> and developed the version of the [[model mu-calculus]] most used today<ref>Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.</ref>. |
||
Moreover, he has written several textbooks on the theory of computation, automata theory, dynamic logic, and algorithms. |
Moreover, he has written several textbooks on the theory of computation<ref>Dexter Kozen (2006). Theory of Computation. Springer. ISBN 1-84628-297-7.</ref>, automata theory, dynamic logic, and algorithms. |
||
Revision as of 08:11, 20 August 2008
Dexter Campbell Kozen is a renowned American theoretical computer scientist. He is currently Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A. from Dartmouth College in 1974 and his PhD in computer science from Cornell University in 1976, where he was advised by Juris Hartmanis.
He is a Fellow of the Association of Computing Machinery, a Guggenheim Fellow, and has received a Outstanding Innovation Award from IBM Corporation. He has also been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell.
He is known for his seminal work at the intersection of logic and complexity. He is one of the fathers of dynamic logic[1] and developed the version of the model mu-calculus most used today[2]. Moreover, he has written several textbooks on the theory of computation[3], automata theory, dynamic logic, and algorithms.
References
- ^ David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000.
- ^ Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.
- ^ Dexter Kozen (2006). Theory of Computation. Springer. ISBN 1-84628-297-7.