Avi J. Silterra


OBJECTIVE

Doctorate in formal logic, 
computer science, or mathematics.
EDUCATION

Senior: Double major - BS in Discrete Mathematics and Logic/Logic and Computation. GPA: 3.79/4.00.
Carnegie Mellon University, Pittsburgh, PA. (September 1999 - May 2003).

Regents Diploma.
Penfield School District, Rochester NY. May 1999.


EXPERIENCE

Research Experience for Undergraduates - SUNY Potsdam (June 2002-Aug 2002).
Definition and classification of c-groups.

Research Fellowship - CMU (May 2001-Aug 2001).
Research on a distributed resource discovery algorithm (Name Dropper).

Graduate Classes (Sept 2001--Dec 2002).
Mathematical Logic, Discrete Mathematics, Model Theory 
I, Lambda Calculus, Algebra I, Category Theory, Categorical Logic, Set 
Theory I, Teaching Mathematics, Real Analysis, Lebesgue Integration, 
General Topology, Commutative Algebra

Undergraduate Classes (Aug 1999--May 2001).
Constructive Logic, Computability and 
Incompleteness, Minds Machines and Knowledge, 
Combinatorial Analysis, Logic in AI, Great Theoretical Ideas in CS, Graph 
Theory, Advanced Calculus I, Matrix Algebra, 
Differential Equations, Principles of Programming, 
Fundamental Structures of CS, Probability and 
Mathematical Statistics I

School of Computer Science (SCS) CMU  (Aug 2000--Dec 2001).
Course Assistant for 15-100, 111, 113 (introductory level classes)


COMPUTER SKILLS

Programming Languages:  ML, LISP (Scheme), Java, C, C++, Perl
Mathematical Software: \LaTeX, R, Maple, Mathematica, GAP
Operating Systems:  Unix (Linux, SunOS, Solaris), MS-DOS, Windows, Apple
WWW Technologies:  ASP, JavaScript, HTML, Java


Activities

Pi Mu Epsilon   - Mathematical Honor Society
Phi Kappa Phi   - Academic Honor Society
Phi Beta Kappa  - Academic Honor Society
Go              - Novice player


CONTACT INFORMATION

banana.ajs2@andrew.cmu.edu
Remove banana to email

http://www.andrew.cmu.edu/~ajs2/

Permanent address:
24 Avon Road
Rochester, NY 14625
(716) 381-9152

Current address:

5714A Beacon St
Pittsburgh, PA 15217 
(412) 421-4592