University of Waterloo COVID-19 update

Please see the University of Waterloo’s frequently asked questions for information about COVID-19 and how it has affected university operations.

Please visit the list of modified services if you have questions about university services.

Although the University of Waterloo is closed for in-person events until further notice, many virtual events and presentations of interest to computer scientists are taking place each week at the Cheriton School of Computer Science. Please check out what our students and faculty are doing.

Aayush Rajasekaran, Jeffrey Shallit, Parthasarathy Madhusudan and Dirk Nowotka win EATCS Best Paper Award at MFCS 2018

Monday, September 10, 2018

photo of Aayush RajasekaranRecent computer science master’s graduate Aayush Rajasekaran, along with his supervisor Professor Jeffrey Shallit and Professors Parthasarathy Madhusudan of the University of Illinois and Dirk Nowotka of Kiel University in Germany, have received the EATCS Best Paper Award at MFCS 2018, 43rdInternational Symposium on Mathematical Foundations of Computer Science.

Their paper, titled Lagrange’s Theorem for Binary Squares, shows how to prove theorems in additive number theory using a decision procedure based on finite automata. The research was presented at MFCS’s annual symposium held this year in Liverpool, United Kingdom from August 27–31, 2018.

“Congratulations to Aayush, Jeff and their international colleagues, Parthasarathy Madhusudan and Dirk Nowotka, for receiving the prestigious European Association for Theoretical Computer Science Best Paper Award at MFCS 2018,” said Dan Brown, Director of the David R. Cheriton School of Computer Science. “I saw Aayush give the practice talk for this paper, and I was fascinated by the idea of proving a theorem in number theory using formal language theory, reducing the proof of the theorem to a decidable language problem about finite automata.”


To learn more about this research, please see Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran and Jeffrey Shallit. Lagrange’s Theorem for Binary Squares, 2018, arXiv:1710.04247.

  1. 2020 (31)
    1. May (6)
    2. April (13)
    3. March (3)
    4. February (3)
    5. January (6)
  2. 2019 (90)
    1. December (3)
    2. November (8)
    3. October (6)
    4. September (9)
    5. August (7)
    6. July (8)
    7. June (10)
    8. May (5)
    9. April (11)
    10. March (6)
    11. February (10)
    12. January (7)
  3. 2018 (82)
    1. December (6)
    2. November (8)
    3. October (8)
    4. September (12)
    5. August (4)
    6. July (8)
    7. June (8)
    8. May (5)
    9. April (10)
    10. March (6)
    11. February (2)
    12. January (5)
  4. 2017 (50)
  5. 2016 (27)
  6. 2015 (41)
  7. 2014 (32)
  8. 2013 (46)
  9. 2012 (17)
  10. 2011 (20)