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.
All posts under this category.
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.
Currently pursuing a master’s degree at her recent alma mater, Boise State University, Ashlee Milton investigates problems related to information retrieval for niche user groups, especially children. Her work has resulted in four publications at ACM conferences and the Aslib Journal of Information Management.
Zaina Aljallad, a recent University of Central Florida (UCF) alumna, researched ways to empower all users, regardless of technical background, with strategies to protect their personal data while using a multitude of apps and services. She published two papers and presented her work at ACM conferences and the National Science Foundation (NSF).
After taking an Intro to Programming Languages class, Marilyn became interested in programming languages. Her teaching assistant participated in PL research and recruited her to their project. Over a period of two years starting in her sophomore year, Marilyn collaborated with her research advisor, who is also chair of the CS department at Tufts, Kathleen Fisher on research problems in Haskell optimization.
Diego showcases the persistence and determination of a researcher. As an immigrant from Venezuela, finding financial support and resources during his academic pursuits has been difficult given the current status of his home country. This has created uncertainty at times, but Diego has been able to persevere. He balanced his studies with a full-time machine learning developer position.
Kimberly is in her final year of undergraduate studies at the University of Washington (UW), where she double majors in Computer Engineering and Mathematics. Within UW’s Paul G. Allen School of Computer Science & Engineering, she has been working with Professors Franziska Roesner and Tadayoshi Kohno on problems related to privacy and security, in particular, to identify and address the risks that future computer systems might raise before they become pervasive.
Andriy Mulyar, a proponent of supportive research environments, is currently pursuing a dual degree in Computer Science and Mathematics at Virginia Commonwealth University (VCU). His research journey began during his senior year in high school where he participated in a natural language processing project under Dr. Bridget McInnes through an outreach program coordinated by the Computer Science program at Andriy’s high school (CIT at Deep Run High School). The experience ignited an intrigue in machine learning which Andriy began to further explore in college.