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
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

ETAPS 2019-profile
View general profile