THIS SITE

Information for

Events

Monday, December 17, 2018 — 10:00 AM EST

Jade Marcoux-Ouellet, Master’s candidate
David R. Cheriton School of Computer Science

Wednesday, December 19, 2018 — 12:30 PM EST

Ali Abbassi, Master’s candidate
David R. Cheriton School of Computer Science

We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational operations of Alloy into their equivalent in typed first order logic (TFOL). 

Friday, December 21, 2018 — 1:30 PM EST

Joseph Haraldson, PhD candidate
David R. Cheriton School of Computer Science

We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form (SNF). This is a non-convex optimization problem where we find a nearby matrix polynomial with prescribed eigenvalues and associated multiplicity structure in the invariant factors.

Tuesday, January 8, 2019 — 3:00 PM EST

Si Chuang Li, Master’s candidate
David R. Cheriton School of Computer Science

Monday, January 14, 2019 — 10:30 AM EST

Verena Kantere
School of Electrical Engineering and Computer Science, University of Ottawa

Big Data analytics in science and industry are performed on a range of heterogeneous data stores, both traditional and modern, and on a diversity of query engines. Workflows are difficult to design and implement since they span a variety of systems. To reduce development time and processing costs, some automation is needed.

Friday, January 25, 2019 — 12:30 PM EST

Matthew Amy, PhD candidate
David R. Cheriton School of Computer Science

The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with an emphasis on the development of formal models for such purposes. We also present software implementations of these methods, which together form a full stack of tools for the design of optimized, formally verified quantum oracles.

Wednesday, January 30, 2019 — 12:15 PM EST

Chang Ge, PhD candidate
David R. Cheriton School of Computer Science

S M T W T F S
26
27
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
2
3
4
5
6
  1. 2019 (4)
    1. January (4)
  2. 2018 (221)
    1. December (16)
    2. November (19)
    3. October (26)
    4. September (23)
    5. August (17)
    6. July (20)
    7. June (13)
    8. May (25)
    9. April (34)
    10. March (24)
    11. February (3)
    12. January (1)
  3. 2017 (37)
    1. December (2)
    2. November (5)
    3. October (3)
    4. September (4)
    5. July (4)
    6. June (3)
    7. May (2)
    8. April (2)
    9. March (6)
    10. February (4)
    11. January (2)
  4. 2016 (21)
  5. 2015 (36)
  6. 2014 (33)
  7. 2013 (23)
  8. 2012 (4)
  9. 2011 (1)
  10. 2010 (1)
  11. 2009 (1)
  12. 2008 (1)