Computer Science Software Engineer

Daniel W. Brown

********@*****.***

Summary

Software developer with expertise in advanced programming language technologies, including language design and implementation, parsing and code generation, logic and functional programming, and static analysis.

Experience

Software Engineer, University of Washington (7/2013 - 6/2016)

* Maintained and improved Annotation File Utilities (AFU) for managing Java annotations separately from code.

- Replaced brittle regular expressions with syntax-aware annotation placement logic using OpenJDK "langtools" API.

- Updated software to support language and JVM features introduced in Java 8.

* Tested and worked on debugging Checker Framework suite, which uses Java annotations for implementing pluggable type systems.

Software Consultant, Fujitsu Labs of America (2/2011 - 3/2013)

Enhanced static analysis software for JavaScript.

* Achieved a threefold speedup and greatly reduced memory consumption of control-flow analysis.

* Automated the definition of sensitive sinks and sources for taint tracking.

* Added Document Object Model (DOM) and Node.js functionality to basic ECMAScript environment.

Graduate Assistant, Portland State University (9/2004 - 6/2010)

* Devised and implemented a novel "lazier" evaluation strategy for functional logic programs in the context of an existing virtual machine implementation.

* Served as teaching assistant for graduate-level courses in Programming Languages, Compilers, Algorithms, and Theory of Computation.

Graduate Assistant, Oregon Health and Science University (9/2003 - 9/2004)

* Served as teaching assistant for graduate-level course in Algorithms.

Computer Scientist, SRI International, Augusta, GA (5/1998 - 7/2003)

* Contributed to successful phase completion on US Department of Defense projects including:

- Small Unit Operations (SUO): Developed various software components, including parser generator for Variable Message Format (VMF) messages, and designed and executed simulation experiments.

- Warfighter Information Network Tactical (WIN-T): Developed graphical user interface and other infrastructure for network simulation software.

- DARPA Communicator: Developed a mixed-initiative dialogue manager for an automated speech-to-speech interface.

* Collaborated on software demonstrations leading to venture funding for two SRI spinoff companies.

Software Engineer, Information Discovery, Inc., Redondo Beach, CA (7/1996 - 1/1998)

* Developed core engines for data mining software suite.

* Created browser-based interfaces for exploring analysis results.

Education

Portland State University, Portland, OR.

Ph.D. candidate in Computer Science. Degree not completed due to job obligations.

Carnegie Mellon University, Pittsburgh, PA.

M.S. in Computational Linguistics, 1996.

University of Georgia, Athens, GA.

M.S. in Artificial Intelligence, 1994.

B.S. in Computer Science, 1992.

Technical Skills

Extensive professional experience developing software in Java, C, Prolog, and Haskell.

Significant experience with Javascript, C++, ML, Scheme, and Smalltalk.

Applied knowledge of broad range of functional and object-oriented design principles and patterns.

Development experience in Linux, Solaris, and Windows environments.

Publications

S. Antoy, D. Brown, and S. Chiang. On the correctness of bubbling. In F. Pfenning, editor, 17th International Conference on Rewriting Techniques and Applications (RTA'06). Springer, 2006.

S. Antoy, D. Brown, and S. Chiang. Lazy context cloning for non-deterministic graph rewriting. Electronic Notes in Theoretical Computer Science, 176(1):3-23, May 2007.

Contact this candidate