Experienced mobile and cloud engineer.
Academic expert in logic and programming languages.
Effective and organized project manager.
Leading the analytics team - including expertise in design, business intelligence, web programming, and data warehousing. Maintaining the backend REST API to support the Inkling iPad app. Creating and maintaining authoring tools and automation systems to support the editorial staff. Contributing to the design of Inkling's S9ML format for learning content.
Developed polished iPhone apps for Fortune 500 brands featured in Apple commercials and stores, including Gap Stylemixer, Timberline, Cooks Illustrated, and Panelfly. Wrote middleware and integrated this and the iPhone apps with backends of Facebook, Twitter, Shopstyle, and Cooks Illustrated.
As a Ph.D. candidate, performed programming language research independently and collaboratively, publishing in respected peer-reviewed journals and conference proceedings. Delivered supplementary lectures, led discussion sections, provided one-on-one tutoring. See also selected publications below.
Led the development team for Cityspan's web information management system, encompassing the needs of various governments, nonprofits, and research institutions. Designed and implemented: a flexible relational metamodel encompassing the needs of all clients, a language for nontechnical personnel to customize the product, an early AJAX-accelerated user interface, and a query and reporting system for the metamodel.
Under professor Brian Harvey, added object-oriented features to the UC Berkeley Logo implementation. Under research director Adrian Freed of the Center for New Music and Audio Technologies, prototyped a C++/OpenGL interface for the Open Sound World visual programming language. Under graduate student researcher Ravi Kolluri, implemented and benchmarked heuristic optimizations to algorithms for reconstruction of solid models from 3-D laser scanner data.
Emphasized programming languages, especially type systems and parallel functional programming.
Founder of UCSC's weekly programing language reading group for classic papers and ongoing research.
Co-founder of The "What Is ... ?" Graduate Seminar at UCSC,
a voluntary cross-disciplinary seminar on math and science topics.
Four-time recipient of the UC Regents' Fellowship.
See also selected publications below.
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.
Emphasized computer science theory. Recipient of the National Merit Scholarship.
With Cormac Flanagan. In Transaction on Programming Languages and Systems, 2010 (TOPLAS'10).
With Cormac Flanagan. In Proceedings of Programming Languages meets Program Verification, 2009 (PLPV'09).
With Caitlin Sadowski, Jaeheon Yi, and Cormac Flanagan. In Proceedings of the Workshop on Mechanizing Metatheory, 2008 (WMM'08).
In The Monad Reader Issue 11, 2008.
With Cormac Flanagan. In Proceedings of the European Symposium on Programming, 2007 (ESOP'07).
With Jessica Gronski, Aaron Tomb, Cormac Flanagan, and Stephen Freund. In Proceedings of the Workshop on Scheme and Functional Programming, 2006 (SFP'06).
Experimentally compared parallelization strategies for boolean 3-SAT using advanced constructs available in the Haskell programming language. (For a Ph.D. course in parallel programming techniques at UC Santa Cruz)
Implemented row-polymorphic type reconstruction for a lambda calculus with row types for extensible records and variants (For a Ph.D. course in type systems at UC Santa Cruz)
Wrote a multithreaded network simulator in Objective Caml and compared various algorithms for failure detection in distributed systems. (For a master-level course in distributed systems at UC Santa Cruz)
Applied machine learning algorithms to the problem of predicting senators’ votes on a new bill, using a feature set drawn from the text of senate bills, and the senators’ past votes. (For a master-level course in machine learning at UC Santa Cruz)
Experimented with generation of music using Markov chains and higher-order functions in Objective Caml. (For a Ph.D. seminar in computer music at UC Berkeley)
Presented a survey of set-based analysis for a an audience in computer science, but not necessarily expert in programming languages. (For a master-level course in programming languages at UC Berkeley)
Presented a survey of proof-carrying code research for an audience of scientists, but not necessarily computer scientists. (For an undergraduate technical writing course at UC Berkeley)
Funded graduate research for: Fall 2004, Winder 2007, Spring 2007, and Spring 2009.
Recipient of UC Berkeley National Merit Scholarship throughout undergraduate career.
Selected by San Ramon Valley High School faculty as top mathematics student in graduating class.
Co-created, arranged, performed, and produced five studio albums. Co-arranged, produced, and conducted synthesized accompaniment to community West Side Story production. Co-created, arranged, promoted, and ran all-day, two-stage music festival.
Co-founder of UC Santa Cruz Chess and Go Players. Rated 5 kyu by Nihon Ki-in.
Kenneth Knowles — kenn.knowles@gmail.com