Registered user since Fri 19 Feb 2016
Name: Dexter Kozen
Country: United States
Personal website: http://www.cs.cornell.edu/~kozen/
Research interests: Algorithms and complexity, especially complexity of decision problems in logic and algebra, logics and semantics of programming languages, computer security.
|FOSSACS 2019||Committee Member in Program Committee within the FOSSACS 2019-track|
|Show activities from other conferences|
View general profile