Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Thursday, August 26, 2021 10:00 am - 10:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Formal Methods • Smart Contract Analysis Through Communication Abstractions

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

Arthur Wesley, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Richard Trefler, Arie Gurfinkel

Wednesday, September 8, 2021 1:00 pm - 1:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Equality Operators for Constant-weight Codewords, with Applications in (Keyword) PIR

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

Rasoul Akhavan Mahdavi, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Florian Kerschbaum

Thursday, September 9, 2021 1:00 pm - 1:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Artificial Intelligence • Weakly-supervised Semantic Segmentation with Regularized Loss Hyperparameter Search

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

Zongliang Ji, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Olga Veksler

Friday, September 10, 2021 10:00 am - 10:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Human-Computer Interaction • Analyzing Barehand Input Mappings for Video Timeline Control and Object Pointing on Smart TVs

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

Futian Zhang, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Edward Lank

Smart TVs are getting popular in recent few years. Given the emerging feature of distant bare hand control, one challenge is how to perform common tasks with this new input modality. Two tasks are discovered in this thesis including video timeline control task and object pointing task.

Tuesday, September 14, 2021 12:00 pm - 12:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Data Systems • Determining the Utility of Key-term Highlighting for High Recall Information Retrieval Systems

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

Xue Jun Wang, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Maura Grossman

Friday, September 17, 2021 10:00 am - 10:00 am EDT (GMT -04:00)

PhD Defence • Symbolic Computation • Fast Algorithms for Computing with Integer Matrices: Normal Forms and Applications

Please note: This PhD defence will be given online.

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

Supervisors: Professors George Labahn, Arne Storjohann

The focus of this thesis is on fundamental computational problems in exact integer linear algebra. Specifically, for a nonsingular integer input matrix A ∈ Zn×n, we consider problems such as linear system solving and computing integer matrix normal forms.