Albert Atserias

/SAT23/assets/images/albert-atserias.jpg Albert Atserias is a Professor of Computer Science at Universitat Politecnica de Catalunya, Barcelona. His research interests include mathematical logic, computational complexity, algorithms, and combinatorics. He received a Ph.D. from UPC in 2002, and another one from UC Santa Cruz also in 2002. In 2006 he was a visiting researcher at Charles University in Prague, in 2008 at the UC Berkeley, in 2006 and 2012 at the Isaac Newton Institute for the Mathematical Science in Cambridge, and in 2016 at the Simons Institute for the Theory of Computing in Berkeley. From 2015 to 2020 he was the PI of an ERC Consolidator Grant (AUTAR). He was invited as plenary speaker of ASL Logic Colloquium (2007 and 2018), CSL (2004), LICS (2011), SAT (2013 and 2023), FSTTCS (2020), ICALP (2022), as well as Oberwolfach, BIRS, Simons Institute at Berkeley, and Dagstuhl, several times. He is in the editorial board of the J.ACM, TheoretiCS, ACM TOCT, and has served on the editorial board of ACM TOCL and Information and Computation.

Ryan Williams

/SAT23/assets/images/ryan-williams.jpeg Ryan Williams completed his PhD in Computer Science at Carnegie Mellon under Manuel Blum. Following postdocs at the Institute for Advanced Study and IBM Almaden, he was Assistant Professor of Computer Science at Stanford from 2011-2016, and is presently Professor of Electrical Engineering and Computer Science at MIT. His awards include a Sloan Fellowship, an NSF CAREER fellowship, a Microsoft Research Faculty Fellowship, a Faculty Research Innovation Fellowship, and a Best Paper Award at SAT 2019.