John Brzozowski, Lila Kari, Bai Li and Marek Szykuła win Sheng Yu Award at CIAA 2018

Tuesday, August 28, 2018

Professors John Brzozowski and Lila Kari, Bai Li (BCS 2017) and their colleague Marek Szykuła from the University of Wrocław in Poland have received the Sheng Yu Award for best paper at CIAA 2018, the 23rd International Conference on Implementation and Applications of Automata.

Their paper, titled State complexity of overlap assembly, was presented at CIAA’s annual meeting held this year in Charlottetown, Prince Edward Island, from July 30 to August 2, 2018.

photo of John Brzozowski and Lila Kari

Distinguished Professor Emeritus John Brzozowski and Professor and University Research Chair Lila Kari

Their work explores a formal language operation called overlap assembly, which has been used to model a number of phenomena, including the self-assembly of linear strands of DNA into a longer strand.

“Congratulations to John, Lila, Bai and their international colleague Marek for receiving the prestigious Sheng Yu Award for best paper at CIAA 2018,” said Dan Brown, Director of the David R. Cheriton School of Computer Science. “This significant contribution to formal language theory was undertaken by Bai when he was an undergraduate research assistant while completing his degree at the Cheriton School of Computer Science.”

The International Conference on Implementation and Application of Automata’s best paper awards are named in honour of Professor Sheng Yu, one of CIAA’s founders and a Waterloo computer science alumnus (master’s 1982, PhD 1986).


To learn more about this research, please see Brzozowski J.A., Kari L., Li B., Szykuła M. 2018. State Complexity of Overlap Assembly. In: Câmpeanu C. (eds) Implementation and Application of Automata. CIAA 2018. Lecture Notes in Computer Science, vol 10977. Springer, Cham.

  1. 2019 (50)
    1. July (1)
    2. June (10)
    3. May (5)
    4. April (11)
    5. March (6)
    6. February (10)
    7. January (7)
  2. 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)
  3. 2017 (50)
    1. December (3)
    2. November (6)
    3. October (7)
    4. September (4)
    5. August (3)
    6. July (2)
    7. June (7)
    8. May (8)
    9. April (2)
    10. March (6)
    11. February (2)
  4. 2016 (27)
  5. 2015 (41)
  6. 2014 (32)
  7. 2013 (46)
  8. 2012 (17)
  9. 2011 (20)