Geoffrey Smith
Associate Professor
School of Computing and Information Sciences
Florida International University
Miami, Florida 33199 USA
E-mail:
smithg @ cis.fiu.edu
Phone: (305) 348-6037
Office: ECS 320
Research
My principal research interests are in computer security (secure information flow and language-based security)
and programming languages (type systems and semantics). Most of my research papers are available
here
.
Teaching
Fall 2009 (accessible only to enrolled students)
COP 4555 - Principles of Programming Languages
COP 5621 - Compiler Construction
Previous Semesters
COP 4555 - Principles of Programming Languages
(Spring 2009)
COT 5420 - Theory of Computation I
(Spring 2009)
COP 4555 - Principles of Programming Languages
(Fall 2008)
COP 5621 - Compiler Construction
(Fall 2008)
COT 5420 - Theory of Computation I
(Spring 2008)
COT 6421 - Theory of Computation II
(Spring 2005)
COP 4555 - Principles of Programming Languages
(Spring 2005)
COP 5621 - Compiler Construction
(Fall 2004)
COT 5420 - Theory of Computation I
(Fall 2004)
COT 3420 - Logic for Computer Science
(Spring 2003)
COP 5621 - Compiler Construction - "Tiger" version
(Fall 2002)
SCS SquirrelMail