Seminar • Programming Languages • Formal Reasoning About Programs
Please note: This seminar will take place in DC 1304.
Amin Timany, Assistant Professor
Logic and Semantics Group, Department of Computer Science, Aarhus University
Amin Timany, Assistant Professor
Logic and Semantics Group, Department of Computer Science, Aarhus University
Sheng-Chieh (Jack) Lin, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
Joseph Scott, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Jo Atlee, Vijay Ganesh
Luke Schaeffer, QuICS Hartree Postdoctoral Fellow
Joint Center for Quantum Information and Computer Science, University of Maryland
Yuanhao Wei, Postdoctoral Researcher
Computer Science and Artificial Intelligence Laboratory, MIT
Concurrent programming is becoming increasingly important as systems are scaling up by increasing the number of processors rather than the speed of a single processor. However, concurrent programming can be very difficult and error-prone.
Nathan Harms, Postdoctoral Researcher
École polytechnique fédérale de Lausanne, Switzerland
Nathan King, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Christopher Batty
Alla Mikheenko, Postdoctoral Research Fellow
Department of Neuromuscular Diseases, University College London
Jim Shaw, PhD candidate
Department of Mathematics, University of Toronto
DNA is life’s instruction manual, but mathematically, DNA is simply a string over an alphabet of four letters. DNA can now easily be read into a computer, and the associated string-processing algorithms are being leveraged by biologists for exciting discoveries. However, this has created a flood of data in the petabytes, requiring modern and faster tools.
Shaokai Wang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Bin Ma