PhD Seminar • Software Engineering — Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance
Edward Zulkoski, PhD candidate
David R. Cheriton School of Computer Science
Edward Zulkoski, PhD candidate
David R. Cheriton School of Computer Science
Xiao-Bo Li, PhD candidate
David R. Cheriton School of Computer Science
Xiao-Bo Li, PhD candidate
David R. Cheriton School of Computer Science
Come out to The Critical Media Lab at 44 Gaukel Street in Kitchener is experience the first ever Computational Digital Art Capstone Exhibition, where you will see interactive and digital art pieces made by students from the University of Waterloo!
Featured artists
Erin Kim
Helga Jiang
Susie Su
Simon Yu
Bonnie Wu
Stephanie Lin
Saadiya Desai
Jennifer Wu
Jimmie Shan
Thomas Steinke, Postdoctoral researcher
IBM Almaden Research Center
As data is being more widely collected and used, privacy and statistical validity are becoming increasingly difficult to protect. Sound solutions are needed, as ad hoc approaches have resulted in several high-profile failures.
Ahmed El-Roby, PhD candidate
David R. Cheriton School of Computer Science
Today, there is an abundance of structured data available on the web in the form of RDF graphs and relational (i.e., tabular) data. This data comes from heterogeneous sources, and realizing its full value requires integrating these sources so that they can be queried together. Due to the scale and heterogeneity of the data sources on the web, integrating them is typically an automatic process.
William Callaghan, Master’s candidate
David R. Cheriton School of Computer Science
Aayush Rajasekaran, Master's candidate
David R. Cheriton School of Computer Science
Maryam Mehri Dehvani
Department of Electrical and Computer Engineering, Rutgers University
The emergence of stupendously large matrices in applications such as data mining and large-scale scientific simulations has rendered the classical software frameworks and numerical methods inadequate in many situations. In this talk, I will demonstrate how building domain-specific compilers and reformulating classical mathematical methods significantly improve the performance and scalability of large-scale applications on modern computing platforms.
Come support fellow colleague, Rina Wehbe (PhD Candidate, Computer Science) as she examines the effects of gamificiation and Games4Change on behaviour and motivation at the upcming GRADtalks event.