Kim Marriott

Computer Science · Physical Sciences

51h-index8.2kcitations330works1.62yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Data Visualization and Analytics(97), Logic, programming, and type systems(64), Constraint Satisfaction and Optimization(58), Formal Methods in Verification(45), Tactile and Sensory Interactions(40)

Publications330 total

page 1 of 17Next →

Frequent Co-authors

Tim Dwyer(19), Bruce H. Thomas(8), Peter J. Stuckey(8), Maxime Cordeil(7), Cagatay Goncu(6), Karsten Klein(5), Matthew Butler(5), Yalong Yang(5), Harald Søndergaard(5), Michael Wybrow(5), Nathalie Henry Riche(4), Leona Holloway(4), Alan Borning(4), Andrew Cunningham(3), Falk Schreiber(3), Wolfgang Stuerzlinger(3), Takayuki Itoh(2), María García de la Banda(2), Benjamin Bach(2), Christophe Hurter(2)