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

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.

Recent and Upcoming Events

CONCUR 2013, 24th International Conference on Concurrency Theory (PC member)
FORTE/FMOODS 2013, IFIP International Conference on Formal Techniques for Distributed Systems (PC member)
ESOP 2013, 22nd European Symposium on Programming (PC member)
QEST 2012, 9th International Conference on Quantitative Evaluation of Systems (PC member)
QEST 2011, 8th International Conference on Quantitative Evaluation of Systems (invited speaker)
TOSCA 2011, Theory of Security and Applications (PC member)

Teaching

Spring 2013

Previous Semesters

COP 4555 - Principles of Programming Languages (Fall 2012)
COP 4555 - Principles of Programming Languages (Spring 2011)
COP 5621 - Compiler Construction (Spring 2011)
COP 4555 - Principles of Programming Languages (Fall 2010)
COP 4555 - Principles of Programming Languages (Spring 2010)
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