ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Dexter Kozen

Registered user since Fri 19 Feb 2016

Name: Dexter Kozen

Country: United States

Affiliation: Cornell

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.

Contributions

FOSSACS 2019Committee Member in Program Committee within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile