ESP Biography

JONATHAN SAILOR, Brown student+staff studying compsci and math

Major: Computer Science & Math

College/Employer: Brown University

Year of Graduation: Not available.

Picture of Jonathan Sailor

Brief Biographical Sketch:

I've been at Splash for a decade, first as a student, and now as a volunteer and teacher.

Currently, he studies math and compsci at Brown University (Providence, RI). He is also interested in anime, rock climbing, and psychology.

Feel free to write him with any questions.

Past Classes

  (Clicking a class title will bring you to the course's section of the corresponding course catalog)

C4038: Androids, Handbells, Rock Band, and Scheme in Splash! 2010 (Nov. 20 - 21, 2010)
What the heck? In this course, we'll use a Scheme-ish language to program Android phones to act like handbells, and play songs with them. You won't write a traditional smartphone program, but we'll talk a little about smartphone programming concepts and challenges, and you'll get to use literally cutting-edge research code.

C3099: Implementing programming languages in Splash! 2009 (Nov. 21 - 22, 2009)
We will discuss some concepts common to the core of all programming languages, and learn how to implement simple Scheme-like languages. Topics covered will include modeling syntax, evaluation in a functional language, substitution versus environments, and first-class functions. The class will be based in part on /Programming Languages: Application and Interpretation/ by Krishnamurthi (available online.)

C3100: Advanced programming language implementation in Splash! 2009 (Nov. 21 - 22, 2009)
This is a continuation of C3099. We will discuss more advanced topics in programming language implementations: laziness, recursions, state, and continuation-passing-style and some of its uses.

M1801: Introduction to metamathematics in Splash! 2008 (Nov. 22 - 23, 2008)
From almost all high-level math classes to the explanations of simple arithmetic tricks, math is all about proofs. But what does it mean to prove something? What is a proof, anyway? In this class, we'll take a survey of metamathematics-- the study of formal systems and reasoning. We'll discuss topics like deductions, completeness, and consistency, some history, and some of metamath's best results.

C1803: Programming in Haskell in Splash! 2008 (Nov. 22 - 23, 2008)
Ever hear of Haskell? Unlike most programming language, Haskell tries to avoid running code. Unlike most programming languages, Haskell is very high-level. Unlike most programming languages, Haskell can check your program for type errors without being wordy or restrictive. And yet, Haskell is one of the fastest programming languages in use. If you want to learn Haskell, this class is for you.

The Limit of Formal Systems: Hilbert, Gödel, Turing, Church in SPLASH (2007)
Come for an in-depth discussion on the limits of any sort of formal system, from math to computers. We'll cover ...

What is a number? (And what about sets and sizes and infinity?) in SPLASH (2007)
You may think "number" is a simple concept. In reality, mathematicians deal with many different kinds of numbers. We'll start ...