Geoffrey Smith

Associate Professor
School of Computing and Information Sciences
Florida International University
E-mail: smithg @ cis.fiu.edu
Phone: (305) 348-6037
Office: ECS 320

Research

My research interests include programming languages (type systems and semantics), computer security (secure information flow and language-based security), and finite automata (minimal NFAs). Most of my research papers are available here.

Teaching

Fall 2008 (accessible only to enrolled students)

COP 4555 - Principles of Programming Languages
COP 5621 - Compiler Construction

Previous Semesters

COP 4555 4555 - Principles of Programming Languages (Spring 2008)
COT 5420 - Theory of Computation I (Spring 2008)
COP 5621 - Compiler Construction (Fall 2007)
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