Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Kevin Hamlen: Education

Education

I received my Ph.D. and Master of Science degrees in Computer Science from Cornell University in August of 2006 and 2002, respectively. Prior to that, I received my Bachelor of Science degree from Carnegie Mellon University in the dual majors of Computer Science and Mathematical Sciences in May of 1998.

The Mathematics Genealogy Project traces my mathematical ancestry (by Ph.D. advisor) all the way back to Leibniz and Weigel as depicted in the tree below. Links above Lagrange are not formal Ph.D. advisorships, but are mentorships that served the equivalent role for the time. Students of multiple Ph.D. advisors show the supervising advisor on the left.


Erhard Weigel (1625-1699)

Gottfried Leibniz (1646-1716)

Jacob Bernoulli (1654-1705)

Johann Bernoulli (1667-1748)

Leonhard Euler (1707-1783)

Joseph Lagrange (1736-1818)

Siméon Poisson (1781-1840)

Michel Chasles (1793-1880)

Hubert Anson Newton (1830-1896)

E. H. Moore (1862-1932)

Oswald Veblen (1880-1960)


Alonzo Church (1903-1995)	Philip Franklin (1898-1965)	?

Stephen Kleene (1909-1994)	Alan Perlis (1922-1990)	Steven Freeman, Jr. (Purdue)

	Jerry Feldman (UC Berkeley)	Seymour B. Hammond (U. Utah)

Bob Constable (Cornell)	Jim Horning (SPARTA, Inc.)	Wan-Hŭi Kim (Columbia)

	John Guttag (MIT)	Art Bernstein (SUNY Stony Brook)

Bob Harper (CMU)	Jeannette Wing (CMU)	Fred B. Schneider (Cornell)


Greg Morrisett (Harvard)


Kevin W. Hamlen (UTD)

Below are links to some of the courses I took and their instructors at my various graduate and undergraduate institutions. While at Cornell, I took (and passed) the following courses:

CS786: Computational Type Theory (instructor: Dexter Kozen)
CS774: Proseminar in Cognitive Studies II (instructor: Claire Cardie)
CS773: Proseminar in Cognitive Studies I (instructor: Claire Cardie)
CS715: Seminar on PRL (instructor: Bob Constable)
CS711: Topics in Advanced Programming Languages (instructor: Greg Morrisett)
CS686: Logics of Programs (instructor: Dexter Kozen)
CS681: Analysis of Algorithms (instructor: Jon Kleinberg)
CS682: Theory of Computing (instructor: Juris Hartmanis)
CS676: Reasoning About Knowledge (instructor: Joe Halpern)
CS671: Introduction to Automated Reasoning (instructors: Bob Constable and Christoph Kreitz)
CS664: Machine Vision (instructor: Dan Huttenlocher)
CS612: Computational Design for High-Performance Architectures (instructor: Keshav Pingali)
CS611: Advanced Programming Languages (instructor: Greg Morrisett)
CS483: Quantum Information Processing (instructor: David Mermin)
CS472: Foundations of Artificial Intelligence (instructor: Bart Selman)
CS421: Numerical Analysis (instructor: Steve Vavasis)
PSYCH614: Issues in Cognitive Psychology (instructor: Shimon Edelman)
PSYCH550: Special Topics in Cognitive Science (instructor: Michael Spivey)
COGST531: From Signals to Syntax (instructor: Shimon Edelman)
LING530: Representation of Structure in Vision & Language (instructor: Shimon Edelman)
PHIL262: Philosophy of Mind (instructor: Benj Hellie)

While at Carnegie Mellon I took (and passed) the following courses:

15-816 Linear Logic (instructor: Frank Pfenning)
15-599 Undergraduate Thesis Research (instructor: Peter Lee)
15-499 Introduction to Computational Geometry (instructor: Michael Erdmann)
15-499 Digital Audio Music Processing (instructor: Roger Dannenberg)
15-453 Formal Languages, Automata and Computation
15-451 Algorithm Design and Analysis (instructors: Merrick Furst and Gary Miller)
15-412 Operating System Design and Implementation (instructors: Mootaz Elnozahy and Dave Johnson)
15-411 Compiler Design (instructor: Peter Lee)
15-385 Computer Vision (instructor: Tai Sing Lee)
15-381 Artificial Intelligence (instructor: Andrew Moore)
15-347 Introduction to Computer Architecture (instructors: Randal Bryant and Dave O'Hallaron)
15-212 Principles of Programming (instructors: Avrim Blum and Bruce Maggs)
15-211 Fundamental Data Structures and Algorithms (instructors: Avrim Blum and Bruce Maggs)
18-240 Fundamentals of Computer Engineering
21-470 Calculus of Variations (instructor: William Hrusa)
21-441 Number Theory (instructor: Konstantine Zelator)
21-369 Numerical Methods (instructor: Susan Chen)
21-301 Combinatorial Analysis (instructor: Victor Mizel)
21-300 Basic Logic (instructor: James Cummings)
21-260 Differential Equations (instructor: William O. Williams)
21-236 Mathematical Studies II (instructors: Juan Schäffer and Victor Mizel)
21-235 Mathematical Studies I (instructors: Juan Schäffer and Victor Mizel)
21-228 Discrete Mathematics (instructor: Richard Statman)
21-132 Analysis II (instructor: William Hrusa)
21-131 Analysis I (instructor: William Hrusa)
21-127 Intro to Modern Mathematics
36-326 Probability and Mathematical Statistics II (instructor: Isabella Verdinelli)
36-325 Probability and Mathematical Statistics I (instructor: Mark Schervish)
33-112 Electricity and Magnetism
33-111 Mechanics and Thermodynamics
73-100 Principles of Economics
85-101 General Psychology
99-101 Computer Skills Workshop: Unix
76-100 Introduction to English Argument

To aid in getting my Bachelor's degree, I also took a couple of summer courses at the State University of Buffalo during my undergraduate years:

MGE302: Applied Economics (instructor: William Hamlen)
PHI101: Introduction to Philosophy (instructor: Eric Bronson)