Sotabase

Career

· Lecturer, MIT2022–
· PhD in Computer Science, MIT2017–2022
· Master of Arts, University of Oxford2017–
· MS in Computer Science, Stanford University2016–2017
· Bachelor of Arts in Mathematics and Computer Science, University of Oxford2011–2013
· Research Assistant, Oregon Health & Science University2010–2011

Publications (12)

Effective Divergence Analysis for Linear Recurrence Sequences
International Conference on Concurrency Theory · 2018
10
cited
The Circuit-Input Game, Natural Proofs, and Testing Circuits With Data
Information Technology Convergence and Services · 2015
9
cited
The Gotsman-Linial Conjecture is False
ACM-SIAM Symposium on Discrete Algorithms · 2018
6
cited
Smaller ACC0 Circuits for Symmetric Functions
Information Technology Convergence and Services · 2021
5
cited
Black-Box Hypotheses and Lower Bounds
International Symposium on Mathematical Foundations of Computer Science · 2021
On Positivity and Divergence for Linear Recurrence Sequences ∗
2018
Sotabase
Brynmor Chapman | Researcher Profile | Sotabase | Sotabase