Sotabase

Career

· Co-Founder And CEO, PixieBrix2020–
· Technology Advisor, Independent (Current)2019–
· Head Of Engineering, MOKA2016–2019
· Researcher, Bridgewater Associates2015–2016
· Founder, FinLingua2013–2015
· Business Analyst And Developer, Numerix2010–2012
· PhD, University of Washington2009–2014
· Internship, The D. E. Shaw Group2008–2008
· BS, Washington University in St. Louis2005–2009

Publications (11)

Building and using pluggable type-checkers
International Conference on Software Engineering · 2011
122
cited
Verified programming in Guru
Programming Languages meets Program Verification · 2009
50
cited
Reducing the barriers to writing verified specifications
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2012
34
cited
Case studies and tools for contract specifications
International Conference on Software Engineering · 2014
32
cited
Modeling radiation-induced lung injury risk with an ensemble of support vector machines
Neurocomputing · 2010
16
cited
Rethinking the economics of software engineering
FoSER '10 · 2010
6
cited
Playing cupid: The IDE as a matchmaker for plug-ins
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI) · 2012
5
cited
Reducing the Usability Barrier to Specification and Verification
2014
3
cited
Improving Clinical Relevance in Ensemble Support Vector Machine Models of Radiation Pneumonitis Risk
International Conference on Machine Learning and Applications · 2009
1
cited
Eliminating Specificational Data from Untyped Areas in OpTT
2009
Ensemble Support Vector Machine Models of Radiation-Induced Lung Injury Risk
2009
Sotabase
Todd Schiller | Researcher Profile | Sotabase | Sotabase