Sotabase

Career

· Software Engineer, Google (Current)2015–
· Postdoctoral Researcher, UC Berkeley2014–2015
· Software Engineer Internship, Google2013–2013
· Software Engineer Internship, Google2012–2012
· Doctor of Philosophy (Ph.D.), Computer Science, University of Oxford2010–2014
· Research Student, UCLA Institute for Pure and Applied Mathematics2008–2008
· Master's Degree, Mathematics and Computer Science, 1st class, University of Oxford2006–2010

Publications (10)

Optimal Sorting Networks
Language and Automata Theory and Applications · 2013
62
cited
Advances in Parametric Real-Time Reasoning
International Symposium on Mathematical Foundations of Computer Science · 2014
25
cited
Optimal-depth sorting networks
Journal of computer and system sciences (Print) · 2014
21
cited
On parametric timed automata and one-counter machines
Information and Computation · 2017
18
cited
On the Magnitude of Completeness Thresholds in Bounded Model Checking
2012 27th Annual IEEE Symposium on Logic in Computer Science · 2012
11
cited
On the Complexity of Temporal-Logic Path Checking
International Colloquium on Automata, Languages and Programming · 2013
6
cited
On Systematic Testing for Execution-Time Analysis
arXiv.org · 2015
2
cited
Algorithmic verification problems in automata-theoretic settings
2014
D ec 2 01 4 Optimal-Depth Sorting Networks ∗
2014
On the Complexity of Path Checking of Temporal Logics
arXiv.org · 2013
Sotabase
Daniel Bundala | Researcher Profile | Sotabase | Sotabase