C
At a glance
Research interests
graph theory and CDMA systems; semigroups and automata theory; Logic, programming, and type systems; Formal Methods in Verification; Constraint Satisfaction and Optimization
About
Biography
Curtis Bright is Associate Professor, Teaching Stream at the University of Waterloo, affiliated with Computer Science. This summary considered 5 collected sources. Listed research or teaching areas include graph theory and CDMA systems; semigroups and automata theory; Logic, programming, and type systems; Formal Methods in Verification; Constraint Satisfaction and Optimization.