Engineer Computer Science

Kenneth Lorenz Knowles

*** ********** ** *** ***

San Francisco, CA 94102

*** - *** - ****

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

Hard-working, self-motivated engineer with a strong mathematical background, familiar with a wide variety of

programming languages and paradigms, with a special talent for learning new languages and systems quickly.

C, Objective C, C++, Java, C#, PHP, Perl, ASP, Transact-SQL, Matlab/Octave/Scilab, Haskell, Objective

CAML, Scheme, Common Lisp, LaTeX, Pascal, Visual Basic, Coq, Isabelle/HOL

Work Experience:

2009 present iPhone Application Engineer Sugarcube, Inc.

Developed iPhone apps for Fortune 500 brands featured in Apple commercials and stores (Objective C)

Implemented XML-based data models for interacting with client web services

Developed uncompromisingly polished Apple quality user interfaces

Integrated iPhone frontend with web services including Facebook, Twitter, and Shopstyle

Wrote supplementary middleware transformations on web service data (Perl, PHP, XSLT)

Prototyped web-based content management systems for data-driven iPhone applications

Managed certi cation, build, and app store submission process

See also www.sugarcubesw.com

2004 2009 Teaching and Research Assistant University of California, Santa Cruz

Delivered supplementary lectures; led discussion sections; provided one-on-one tutoring

Prototyped research in advanced languages (Haskell, Objective CAML, Coq, Isabelle/HOL)

Performed research independently and collaboratively

Selected research publications:

Compositional and Decidable Checking for Dependent Contract Types. With Cormac Flanagan. In

Proceedings of Programming Languages meets Program Veri cation, 2009 (PLPV 09).

Proving correctness of a dynamic atomicity analysis in Coq. With Caitlin Sadowski, Jaeheon Yi, and

Cormac Flanagan. In Proceedings of the Workshop on Mechanizing Metatheory, 2008 (WMM 08).

First-Order Logic A la Carte. In The Monad Reader Issue 11, 2008.

Type Reconstruction for General Re nement Types. With Cormac Flanagan. In Proceedings of the

European Symposium on Programming, 2007 (ESOP 07).

Sage: Hybrid Checking for Expressive Speci cations. With Jessica Gronski, Aaron Tomb, Cormac

Flanagan, and Stephen Freund. In Proceedings of the Workshop on Scheme and Functional Program-

ming, 2006 (SFP 06).

2000 2004 Senior Web and Database Programmer Cityspan Technologies

Designed and took part in implementing all aspects of YouthServices.net

Designed data-driven architecture and XML-based customization language

Implemented and optimized complex database queries for reporting (Transact-SQL)

Designed, maintained, and optimized SQL Server 7.0/2000 Database schema

Researched and experimented with emerging trends in database schema

Designed and implemented backend object model and business logic (VBScript, C#)

Designed and implemented traditional web frontends and later AJAX frontends

Researched and began implementation of migration path from VBScript/ASP to C#/ASP.Net

See also www.cityspan.com and www.youthservices.net

Education:

Master of Science in Computer Science University of California, Santa Cruz

Emphasis in Programming Languages

Four-time recipient of the Regents Fellowship

Graduate summer schools on programming languages University of Oregon

2008 Summer School on Logic and Theorem Proving in Programming Languages

2007 Summer School on Language-Based Techniques for Integrating with the External World

2006 Summer School on Language-Based Techiques for Concurrent and Distributed Systems

Bachelor of Science in Computer Science University of California, Berkeley

Emphasis in Computer Science Theory

Recipient of the National Merit Scholarship

Summary of Selected Class Experience

Foundations of Programming Languages History of Mathematics

Design of Programming Languages Group and Ring Theory

Types and Programming Languages Advanced Linear Algebra

Computer Architecture Advanced Graph Theory and Algorithms

Combinatorial Algorithms and Data Structures Computational Geometry

Algorithms and Complexity Machine Learning

Foundations of Parallel Computation Survey of Distributed Systems

Concurrency and Transactional Memory Games in Design and Control

References available upon request

Contact this candidate