Geoffrey S. Smith's home page

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 Geoffrey Smith Yoshi Cockatiel

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

Spring 2011

Previous Semesters

COP 4555 - Principles of Programming Languages (Fall 2010)
COP 4555 - Principles of Programming Languages (Spring 2010)
COP 5621 - Compiler Construction (Fall 2009)
COT 5420 - Theory of Computation I (Spring 2009)
COT 6421 - Theory of Computation II (Spring 2005)
COP 4555 - Principles of Programming Languages (Spring 2005)
COT 5420 - Theory of Computation I (Fall 2004)
COT 3420 - Logic for Computer Science (Spring 2003)
COP 5621 - Compiler Construction - "Tiger" version (Fall 2002)

LaTeX Package for FIU PhD Dissertations

My package for formatting FIU PhD dissertations using LaTeX can be found here: fiuphd.zip. See the README file for basic instructions.

SCS SquirrelMail