Sotabase

Career

· Senior Vice President of Product and Chief Engineer, Lucid Motors2021–
· Senior Software Engineer, RoBotany Ltd (Fifth Season)2017–
· Director of Engineering, Tesla, Inc.2012–2015
· Engineering and Program Leadership Roles, Volkswagen AG2000–2011

Publications (0)

Algorithmic number theory
1996
885
cited
One-dimensional quantum walks
Symposium on the Theory of Computing · 2001
615
cited
Explicit bounds for primality testing and related problems
1990
243
cited
Discrete Logarithms and Factoring
1984
200
cited
Crossed and nested dependencies in German and Dutch
1986
190
cited
Determinant: Combinatorics, Algorithms, and Complexity
Chicago journal of theoretical computer science · 1997
128
cited
One-dimensional quantum walks with absorbing boundaries
Journal of computer and system sciences (Print) · 2002
122
cited
DNA models and algorithms for NP-complete problems
Proceedings of Computational Complexity (Formerly Structure in Complexity Theory) · 1996
101
cited
Explicit bounds for primes in residue classes
Mathematics of Computation · 1996
93
cited
Analytic methods in the analysis and design of number-theoretic algorithms
1985
75
cited
How to Generate Factored Random Numbers
SIAM journal on computing (Print) · 1988
74
cited
ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS
2012
71
cited
Factoring with cyclotomic polynomials
26th Annual Symposium on Foundations of Computer Science (sfcs 1985) · 1985
68
cited
Realistic analysis of some randomized algorithms
Journal of computer and system sciences (Print) · 1987
64
cited
Discontinuous constituents in generalized categorial grammars
1981
60
cited
An extension of classical transformational gram-mar
1976
57
cited
Toward A Theory of Pollard's Rho Method
Information and Computation · 1991
55
cited
Liquid‐chromatography retention order prediction for metabolite identification
Bioinform. · 2018
52
cited
Factor refinement
ACM-SIAM Symposium on Discrete Algorithms · 1993
51
cited
Asymptotic semismoothness probabilities
Mathematics of Computation · 1996
44
cited
Sotabase