Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Gary T. Leavens, Professor of Computer Science, Iowa State University OVERVIEW OF RESEARCH AND TEACHING Research on the semantics and design of object-oriented programming languages, such as MultiJava (see http://www.MultiJava.org/). Also designing 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@cs.iastate.edu also leavens@iastate.edu and leavensg@acm.org ICQ: 125371089 USMail: Department of Computer Science Iowa State University 229 Atanasoff Hall Ames, Iowa 50011-1041 USA phone: +1-515-294-1580 fax: +1-515-294-0258 URL: http://www.cs.iastate.edu/~leavens/index.html SCHEDULE "Fall" schedule starting Aug 21, 2006 all times in the central 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 (pm 1 10) (pm 2 00) "Steve Shaner" "229 Atanasoff". at m___f (pm 3 10) (pm 5 00) "Office Hours" "229 Atanasoff". at w (pm 3 10) (pm 4 00) "Com S 342 discus." "1810 Gilman". at w (pm 4 10) (pm 5 00) "Class preparation" "229 Atanasoff". at w (pm 5 10) (pm 6 00) "Com S 541 discus." "1219 Coover". at t_r (am 11 00) (pm 12 30) "Class preparation" "229 Atanasoff". at t_r (pm 12 40) (pm 2 00) "Com S 541" "1120 Sweeney". at t_r (pm 2 10) (pm 3 30) "Com S 342" "B29 Atanasoff". at t (pm 3 40) (pm 5 00) "Dept Faculty. Meet" "223 Atanasoff". at r (pm 3 40) (pm 5 00) "Colloquium" "223 Atanasoff". %at m (pm 11 00) (am 11 50) "Clyde Ruby" "229 Atanasoff". %at r (am 11 00) (am 11 50) "Clyde Ruby" "229 Atanasoff". %at f (pm 1 10) (pm 2 00) "Kristina Boysen" "229 Atanasoff". %at f (pm 2 10) (pm 3 00) "Neeraj Khanolkar" "229 Atanasoff". 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: 2006/08/21 19:17:57 $ (and for those for whom this scrolled by too fast...) Gary T. Leavens, Professor of Computer Science, Iowa State University