I am interested in tech-lead and architect roles at companies developing innovative software products. My interests are diverse, but they generally focus on advanced programming languages, distributed systems, and quantitative algorithms. I spend my spare time reading textbooks and working on open source projects.
| Goldman Sachs | Vice President | 06/07 - Present |
|
I'm a member of the "Strategies" group, where I work on a proprietary
in-house programming language.
| ||
| StreamBase Systems | Tech Lead / Architect / Manager | 03/04 - 05/07 |
StreamBase produces a development platform for working with very high
volume data streams such as financial trading data, network packets, or RFID
sensors. The system can process tens of thousands of messages per second
per CPU.
| ||
| Endeca, Inc | Senior Software Engineer | 07/01 - 02/04 |
Endeca produces a server-side product that combines text search and
metadata categorization to organize large catalogs of data. I left the
company in order to gain management experience at StreamBase.
| ||
| FactCity, Inc | Consultant | 07/00 - 06/01 |
FactCity produced a web-based product that presented a natural language
query interface to relational databases. I stayed with the company until they
went out of business during the dot-com crash.
| ||
| One Technology, Inc | Lead Software Engineer | 07/99 - 06/00 |
One Technology was a startup that used genetic algorithms to optimize
complex industrial problems involving thousands of interdependent variables.
I left the company when it became clear that the business model was failing.
| ||
| Software Leverage, Inc | Software Engineer | 05/95 - 06/99 |
Software Leverage is a staff consulting agency where I worked on several
projects. I was usually responsible for the full product lifecycle
from gathering requirements and writing a proposal, to implementation and
maintenance. I left the company to pursue more challenging work, but I
still miss the people I worked with there. Some of the larger projects I
worked on include:
| ||
Brown University
M.S. in Computer Science (spring - fall '06).
Research: static analysis and optimization of functional reactive
programming languages. Presented at PEPM'07 in Nice.
Classes: combinatorial optimization, formal verification,
distributed and concurrent programming, computational biology, natural
language processing, and machine learning. 4.0/4.0 GPA.
University of Massachusetts, Boston
Classes: discrete math, theory of computation, and compilers
(spring '02, fall '02).
For the benefit of search engines and HR folk, here's a short
list of topics I have some experience with: static analysis, model checking,
type systems, statistics, protein folding, hidden markov models, 3D graphics,
visualization, constraint programming, logic programming, compilers,
interpreters, software transactional memory (STM), multithreading, RMI,
OCaml, Haskell, Scheme, Unix, Windows.