Gary T. Leavens, Professor and Assoc. Dir., EECS, University of Central Florida

OVERVIEW OF RESEARCH AND TEACHING

Research on the semantics and design of object-oriented programming
languages, such as MultiJava (see http://www.MultiJava.org/).
and formal methods, including the design and semantics of the behavioral 
interface specification language JML (see http://www.jmlspecs.org/).

Teaching the design and semantic aspects of programming languages,
object-oriented analysis and design,
and (sometimes) introductory programming and data structures.

CONTACT INFORMATION

e-mail: leavens@eecs.ucf.edu
        also leavensg@acm.org, leavens@ieee.org, gary.leavens@gmail.com

USMail: University of Central Florida
        Dept. of EECS - Bldg. 116, University of Central Florida
        4000 Central Florida Blvd., Orlando, FL 32816-2362 USA
phone: +1-407-823-4758   fax: +1-407-823-5419

URL: http://www.eecs.ucf.edu/~leavens/index.html

ResearcherID: A-7212-2010

SCHEDULE

"Spring" schedule from January 11, 2010 to April 28, 2010
all times in the eastern time zone (USA):

module schedule.   % this is a lambda Prolog module
accumulate day, time.

type at  day -> time -> time -> string -> string -> o. % first time is start

at m_w   (pm 12 00) (pm  1 00) "Class Preparation"  "439C HEC (Bldg. 116)".
at m_w   (pm  1 00) (pm  2 15) "COP 5021"           "110 BA".
at m     (am 10 30) (am 11 30) "Office hours"       "439C HCEC (Bldg. 116)".
at m     (pm  3 00) (pm  4 00) "Tisa meeting"       "439C HCEC (Bldg. 116)".
at   w   (am 11 00) (pm 12 00) "Rochelle Elva"      "439C HCEC (Bldg. 116)".
at   w   (pm  2 30) (pm  3 30) "Silvino Barrrieos"  "439C HCEC (Bldg. 116)".
at   w   (pm  3 30) (pm  4 30) "Office hours"       "439C HCEC (Bldg. 116)".
at   w   (pm  4 30) (pm  5 30) "Faraz Hussain"      "439C HCEC (Bldg. 116)".
at     f (pm  3 00) (am  4 00) "Faculty Tea"        "438 HCEC (Bldg. 116)".
at  t_r  (am  9 00) (am 10 15) "COP 4020"           "117 HCEC (Bldg. 116)".
at  t    (pm  1 30) (pm  2 30) "COP 4020 staff"     "439C HCEC (Bldg. 116)".
at  t    (pm  3 00) (pm  4 00) "Micael Lopez"       "439C HCEC (Bldg. 116)".
at  t    (pm  4 00) (pm  5 00) "Ghaith Haddad"      "439C HCEC (Bldg. 116)".
at    r  (pm  3 00) (pm  4 00) "Steve Shaner"       "439C HCEC (Bldg. 116)".

at m Start End What Where :- at m_w_f Start End What Where ;
			     at m_w   Start End What Where ;
			     at m___f Start End What Where.
at t Start End What Where :- at  t_r  Start End What Where.
at w Start End What Where :- at m_w_f Start End What Where ;
			     at m_w   Start End What Where.
at r Start End What Where :- at  t_r  Start End What Where.
at f Start End What Where :- at m_w_f Start End What Where ;
			     at m___f Start End What Where.

Last updated: $Date: 2010/06/30 21:14:36 $

(and for those for whom this scrolled by too fast...)
Gary T. Leavens, Professor, EECS, University of Central Florida