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

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

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