Wednesday, August 12, 2020 — 10:00 AM EDT

Please note: This PhD defence will be given online.

Mike Schaekermann, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, August 5, 2020 — 9:00 AM EDT

Please note: This PhD defence will be given online.

Pavel Valov, PhD candidate
David R. Cheriton School of Computer Science

Thursday, July 23, 2020 — 2:00 PM EDT

Please note: This master’s thesis presentation will be given online.

Davood Anbarnam, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 23, 2020 — 1:00 PM EDT

Please note: This PhD defence will be given online.

Anastasia Kuzminykh, PhD candidate
David R. Cheriton School of Computer Science

Thursday, July 23, 2020 — 11:00 AM EDT

Please note: This master’s thesis presentation will be given online.

Steven Engler, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 23, 2020 — 9:00 AM EDT

Please note: This PhD defence will be given online.

Nashid Shahriar, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, July 22, 2020 — 1:30 PM EDT

Please note: This master’s thesis presentation will be given online.

Dhruv Kumar, Master’s candidate
David R. Cheriton School of Computer Science

Wednesday, July 22, 2020 — 11:00 AM EDT

Please note: This master’s thesis presentation will be given online.

Chelsea Komlo, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 9, 2020 — 10:00 AM EDT

Please note: This PhD defence will be given online.

Abel Molina, PhD candidate
David R. Cheriton School of Computer Science

We present results on quantum Turing machines and on prover-verifier interactions.

Wednesday, July 8, 2020 — 3:00 PM EDT

Please note: This PhD seminar will be given online.

Stavros Birmpilis, PhD candidate
David R. Cheriton School of Computer Science

Any nonsingular matrix $A \in \mathbb{Z}^{n\times n}$ is unimodularly equivalent to a unique diagonal matrix $S = diag(s_1, s_2, \ldots, s_n)$ in Smith form. The diagonal entries, the invariant factors of $A$, are positive with $s_1 \mid s_2 \mid \cdots \mid s_n$, and unimodularly equivalent means that there exist unimodular (with determinant ±1) matrices $U, V \in \mathbb{Z}^{n\times n}$ such that $UAV = S$.

Wednesday, July 8, 2020 — 10:30 AM EDT

Please note: This PhD seminar will be given online.

Ershad Banijamali, PhD candidate
David R. Cheriton School of Computer Science

Monday, July 6, 2020 — 1:00 PM EDT

Please note: This master’s thesis presentation will be given online.

Achyudh Ram, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 2, 2020 — 11:00 AM EDT

Please note: This seminar will be given online.

Amit Sinhababu
Aalen University, Germany

Tuesday, June 30, 2020 — 3:00 PM EDT

Please note: This master’s thesis presentation will be given online.

Soroush Ameli, Master’s candidate
David R. Cheriton School of Computer Science

Tuesday, June 30, 2020 — 1:00 PM EDT

Please note: This master’s thesis presentation will be given online.

Amin Bandali, Master’s candidate
David R. Cheriton School of Computer Science

Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and formally. An abstract model is a concise and compact representation of key characteristics of a system, and enables the stakeholders to reason about the correctness of the system in the early stages of development.

Monday, June 29, 2020 — 10:00 AM EDT

Please note: This master’s thesis presentation will be given online.

Soumik Ghosh, Master’s candidate
David R. Cheriton School of Computer Science

Friday, June 26, 2020 — 2:30 PM EDT

Please note: This master’s thesis presentation will be given online.

Brittany Postnikoff, Master’s candidate
David R. Cheriton School of Computer Science

This thesis establishes the new field of Robot Social Engineering. We define Robot Social Engineering as the use of social abilities and techniques by robots to manipulate others in order to achieve a goal. We build the field of Robot Social Engineering on the foundations of Human-Robot Interaction research on social robots as well as information security research on social engineering.

Wednesday, June 24, 2020 — 2:15 PM EDT

Please note: This seminar will be given online.

Anindya De, Department of Computer and Information Science
University of Pennsylvania

Wednesday, June 24, 2020 — 12:00 PM EDT

Please note: This PhD seminar will be given online.

Aida Sheshbolouki, PhD candidate
David R. Cheriton School of Computer Science

Tuesday, June 23, 2020 — 2:30 PM to 4:00 PM EDT
image by Nathan Dumlao on Unsplash depicting diversity

Please join Women in Computer Science for this free, virtual event with Kathleen Nalty, an expert in strategies to create cultures of inclusion to retain and advance diverse talent.

Monday, June 22, 2020 — 6:00 PM to 7:30 PM EDT

Digital adoption and dependence have been dramatically propelled by the COVID-19 pandemic. This sudden growth spotlights critical issues such as cybersecurity, privacy, resilience, the highly consequential shift to 5G, and what innovative technologies may follow. Leadership in 5G adoption will be a vital determinant of future national competitiveness, as 5G will further enable dramatic technological advances in logistics, manufacturing, autonomous vehicles, mining, construction and smart grids. 

Monday, June 22, 2020 — 2:00 PM to 4:00 PM EDT

Pan Li
Stanford University

Chris White
Microsoft Research

Shenghao Yang
Kimon Fountoulakis

University of Waterloo

Monday, June 22, 2020 — 9:00 AM EDT

Please note: This PhD defence will be given online.

Hassan Mousaid, PhD candidate
David R. Cheriton School of Computer Science

Thursday, June 18, 2020 — 11:30 AM EDT

Please note: This PhD seminar will be given online.

Sebastian Verschoor, PhD candidate
David R. Cheriton School of Computer Science

Thursday, June 18, 2020 — 11:00 AM EDT

Please note: These two PhD seminars will be given online.

Bryce Sandlund, PhD candidate
David R. Cheriton School of Computer Science

Pages

S M T W T F S
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
  1. 2020 (133)
    1. August (2)
    2. July (11)
    3. June (19)
    4. May (17)
    5. April (20)
    6. March (17)
    7. February (25)
    8. January (22)
  2. 2019 (255)
    1. December (21)
    2. November (25)
    3. October (16)
    4. September (20)
    5. August (18)
    6. July (12)
    7. June (23)
    8. May (23)
    9. April (32)
    10. March (25)
    11. February (16)
    12. January (24)
  3. 2018 (220)
  4. 2017 (36)
  5. 2016 (21)
  6. 2015 (36)
  7. 2014 (33)
  8. 2013 (23)
  9. 2012 (4)
  10. 2011 (1)
  11. 2010 (1)
  12. 2009 (1)
  13. 2008 (1)