After graduating from the University of British Columbia (UBC) in Spring 2020, Jonathan Chan continues to pursue his research interests in programming languages (PL) as a master’s student at UBC. His work has resulted in a proof of concept for more robust termination checking in Coq, an interactive proof assistant.
Author Archive for: nicole
About Nicole Beck
This author has yet to write their bio.Meanwhile lets just say that we are proud Nicole Beck contributed a whooping 2 entries.
Entries by Nicole Beck
Christian “Chris” Hill wants to transform the way we sense the world around us. His interest in human augmentation and sensory extension research began early in his college experience. During his second semester at the University of Colorado, Boulder (CU Boulder), Chris took a new course on children’s education, human augmentation, and transhumanism taught by Mike Eisenberg, a professor in the Department of Computer Science and Institute of Cognitive Science.