# ESP Biography

## RAEEZ LORGAT, ESP Teacher

Major: 18

College/Employer: MIT Not Available.

## Past Classes

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

M9227: Introductory Topics In Pure Mathematics in HSSP Spring 2015 (Feb. 21, 2015)
In this course, we will introduce several elementary topics in pure math. We will discuss some basic techniques and notions of abstract algebra, topology, analysis and geometry. There will be a focus on broad themes in mathematics and we will discuss some recent math research. There will be optional reading and exercises handed out at the end of every class.

M8059: The Shape of Logic: Topology in Logic and Computation in Splash! 2013 (Nov. 23 - 24, 2013)
Topology is the study of shape and space. Traditionally, topological study begins with the study of geometric spaces that we can easily picture, such as 3-dimensional flat euclidean space (our perceived world). It then covers more abstract geometric and set-theoretic topics, like connectedness, the number of holes, and finiteness, before arriving at a theory of an abstract topological space. In this class, we take topology in a totally different direction: motivated by questions in computer science, we will build a 'topological' understanding of logic via the theory of semi-decidability, ultimately arriving at a geometric understanding of logic and computation. For us, we will see that a topology will capture an essential computational notion: "open sets are semi decidable properties". The theory, developed from this perspective, will produce results applicable to understanding traditional abstract topology, domain theory, first order logic, decidability theory in computer science and modern algebraic geometry. No previous exposure to domain theory, topology or formal logic needed.

M7271: Introductory Topics In Pure Mathematics in HSSP Summer 2013 (Jul. 07, 2013)
In this course, we will introduce several elementary topics in pure math. We will discuss the basic techniques and notions of analysis, topology, abstract algebra and geometry. There will be a focus on broad themes in mathematics and we will discuss recent math research. There will be optional reading and exercises handed out at the end of every class.

M6378: Algebra is logic in Splash! 2012 (Nov. 17 - 18, 2012)