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 gleavens@mail.ucf.edu, leavensg@acm.org, leavens@ieee.org leavens@knights.ucf.edu USMail: University of Central Florida School 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 SCHEDULE "Fall" schedule from August 24, 2009 to December 8, 2009 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 t_r (am 9 00) (am 10 15) "COP 4020" "103 HCEC (Bldg. 116)". at t (pm 4 00) (pm 5 00) "Ghaith Haddad" "439C HCEC (Bldg. 116)". at m___f (am 10 00) (am 11 00) "Office hours" "439C HCEC (Bldg. 116)". at m (am 11 00) (pm 12 00) "Tisa meeting" "439C HCEC (Bldg. 116)". at f (am 11 00) (pm 12 00) "Faraz Hussain" "439C HCEC (Bldg. 116)". at w (pm 3 00) (pm 3 50) "Steve Shaner" "439C HCEC (Bldg. 116)". at f (pm 3 00) (am 4 00) "Faculty Tea" "438 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: 2008/08/28 14:26:46 $ (and for those for whom this scrolled by too fast...) Gary T. Leavens, Professor, EECS, University of Central Florida