I am a Computer Scientist. I do research in programming languages and algorithms. My professional interest focusses on enabling tech startups to realize and develop marketable and manageable production concepts.
My first experience with programming languages came when I read a manual for BASIC at age 13. I remember learning HTML in a library seminar as well, but I did not actually compile a program until my senior year of high school, when I was able to take a programming class in Visual Basic. By then I was already a very fluent and natural programmer, and had taken to the obnoxious pattern of constructing each of my methods within a single line of code.
Six months later, I quickly mastered the Java syntax for a summer course before entering Cornell to study Engineering Physics. By quickly, I mean it took six days of trial and error before I clicked with the language, and I've had the API in my bookmarks ever since. That summer, we built poetry and music synthesizers, crypto-functions, and traffic networks.
In my time at Cornell, I moved from Physics to Operations Research, to Math, to Computer Graphics, and finally stuck in the Programming Languages department of Computer Science. Along the way, I made a concentration in business and developed plans for sustainability consultants in California, software developers in Ghana, and internet cafes in Ukraine.
Since my Junior year, I have endeavored to move into high-tech startups. In the summer of 2010, I worked at Clearwell, a company of 200 employees, and in the winter, I worked on a small startup in Ithaca to develop a social network for minority undergraduates at Top 45 universities. Now I am working to deploy Citizenry for the Ithaca tech community.
I will be moving to Portland, Oregon this year to pursue a Ph.D. in Computer Science. There I hope to work in their blossoming tech industry. I admire Portland for it's focus on quality of life and focus on sustainability. I hope to find myself welcome to such a vibrant community.
Brian Peter Ledger
Bachelor's of Computer Science
Lead Programmer, Aeogea Incorporated
Software Development Intern, Clearwell Systems
Programming Support, Cornell Program of Computer Graphics
Summer Program Assistant, Office of Minority Educational Affairs
Woodworker's Assistant, Robert Nadaskay
Woodworker's Assistant, Fine Line Custom Cabinets
Mongrel2, Cabal, Ubuntu, Apache, MySql, Django, Cassandra, ZeroMQ
Download my personal resume.
Works in Progress
Dispatch: Dynamic Fleet Management
iQueueTV Video Jukebox
Syntactic Analysis in Objective Caml and YACC
Drag 'n Drop Graphical Migration Analysis in Swing
OCaml Scheme Interpreter
Map/Reduce Architecture in Objective Caml
Python Multi-threaded Mail-Server
Lightweight File System in Python
Pipelined MIPS architecture in Logisim
Grammar-Based 3D Animation Architecture in Java
Low-Level Network Honeypot in C
ARIMA and GARCH Models in R
See Out My GitHub
My research focusses on integrating parallel processing with non-deterministic programming language semantics. This most recent effort has culminated in my ongoing attempt to build a compiler for the functional-logic programming language, Curry.
I am also engaging topics relevant to the denotational semantics of programming languages, currently type-systems, monads, continuous partial orders, game semantics, and logic-based program synthesis.