2009 Computer Stars Competition (also Game Programming, click on Lessons)

First LEGO League / LEGO Robotics / Bulloch County LEGO Initiative

ROBERT P. COOK, Yamacraw Professor of Computer Science and NASA Faculty Fellow

 bobcook@GeorgiaSouthern.edu; (912) GSU-0892

CLASSES THIS SEMESTER:
        CSCI3232  MWF 1:00-1:50pm rm 3214
OFFICE HOURS: MTW 10-12, just drop in anytime, the door is open

RESEARCH SUPPORT: Georgia Yamacraw Initiative.
EDUCATION: BE(‘69), MS(‘71), Ph.D.(‘78) - Vanderbilt University
PROFESSIONAL SOCIETIES: ACM, IEEE
INTERESTS: Terraforming Mars, Linux Verification Project, the National Classroom Project, Lighthouse Smart Highway Project (RFID), Java Phone, High-Performance Computing(OpenMP),

EMPLOYMENT HISTORY

• 2007 - 2008 Yamacraw Professor & Interim Associate Dean
• 2005 - NASA Space Grant Coordinator, Georgia Southern University
• 2005  ASEE/NASA Faculty Fellow, Kennedy Space Center
• 2005 - Yamacraw Professor of Computer Sciences, Georgia Southern University
• 2004  ASEE/NASA Faculty Fellow, Kennedy Space Center
• 2003 - 2005 Yamacraw Professor & Acting Chair, Dept. of Computer Sciences, Georgia Southern University
• 2001 - 2003 Yamacraw Professor, Dept. of Math and Computer Science, Georgia Southern University
• 1994 - 2001 Chair/Professor, Dept. of Computer and Information Science, Univ. of Mississippi
• 2000 Sun Labs, Summer Researcher, Next-Generation Internet
• 1999 Microsoft, Summer Researcher, Component Software
• 1996 Microsoft, Summer Researcher, Mobile Agents
• 1993 - 1994 Microsoft, Architect, Advanced Consumer Technology
• 1992 - 1993 Microsoft, Architect, Excel Business Unit
• 1991 - 1992 Microsoft, Architect, Applications Architecture Group
• 1988 - 1991 Acting Chair, Associate Chair, University of Virginia
• 1983 - 1991 Associate Professor, University of Virginia

• 1978 - 1983 Assistant Professor, University of Wisconsin

• 1976-1978 Instructor and graduate student, Vanderbilt University

• 1972-1976 Instructor, University of Florida

• 1971 Instructor, Vanderbilt University

MAJOR SOFTWARE SYSTEMS IMPLEMENTED

Compilers: EduScript, Algol-60, SOL, PL/I for XDS, SPL for XDS, SPL for Harris, FORTH, Modula, Modula-2, StarMod, C++, Obtuse, mc
Database Systems: XDB
Operating Systems: Phoenix
Computer Networks: Next-generation TCP/IP stack
Miscellaneous Systems: StarLite, Algorithm Animation, Symbolic Debugger, Web Testing, POSIX Threads, KLASS

BOOK CHAPTERS

• (With Y. Li) "A New Algorithm and Asymptotical Properties for the Deadlock Detection Problem for Computer Systems with Reusable Resource Types," Advances and Innovations in Systems, Computing Sciences and Software Engineering, Springer (2007) 509-512.
• "Modula-2," in Encyclopedia of Computer Science 3rd Edition, edited by A. Ralston and E.D. Reilly, Van Nostrand Reinhold, (1993) 895-898.
• "The StarLite Operating System," in Operating Systems for Mission-Critical Computing, edited by K. Gordon, P. Hwang, A. Agrawala, IOS Press, (1992) 2-10.
• (with S. Son, Y Lin), "Concurrency Control in Real-Time Database Systems," in Foundations of Real-Time Computing (Scheduling and Resource Management), edited by A.M. van Tilborg and G.M. Koob, Kluwer Academic Publishers, (1991) 185-202.
• (with L. Hsu, S. Son), "Real-Time, Priority-Ordered, Deadlock AvoidanceAlgorithms," in Foundations of Real-Time Computing (Scheduling and Resource Management), edited by A.M. van Tilborg and G.M. Koob, Kluwer Academic Pub., (1991) 307-324.
• (with L. Hsu), "StarLite: A Software Education Laboratory," in Software Engineering Education, Springer-Verlag Lecture Notes in Computer Science 423, edited by Lionel E. Deimel (April 1990) 95-109.
• "StarMod--A Language for Distributed Programming," in Concurrent Programming, Addison-Wesley, edited by N. Gehani and A.D. McGettrick, (1988) 93-111.
• "StarMod--A Language for Distributed Programming," in Distributed Computing: Concepts and Implementations, IEEE Press, edited by P.L. McEntire, J.G. O'Reilly, R.E. Larson, (1984) 353-363.

JOURNALS

• "Thread Verification -- An Experience Report," Electronic Notes in Theoretical Computer Science 174, 9(June 2007), 49-61, http://dx.doi.org/10.1016/j.entcs.2007.04.006.
• "An Introduction to the NASA Shuttle Ground Operations Simulator--SGOS," Software -- Practice and Experience 38, 6(May 2008) 575-587.
• "Heuristic Compression of an English Word List," Software -- Practice and Experience 35, 6(May 2005) 577-581.
• “Smart Highways,” Cargo Security International, volume 3, 4(August 2005), 50-52.
• (With A. Greca, J. Harris), "Enhancing Learning in a Data Communications and Networking Course with Laboratory Experiments," The Journal of Computing Sciences in Colleges 19 3, (Jan. 2004) 79-88.
• (With Y. Zhou, D. Wilkins), "Neural Network Control for A Fire-Fighting Robot," Software -- Concepts and Tools 19 3, (1999) 146-152.
• "An On-Line C++ Course: Implementation and Experience," Software -- Concepts and Tools 19 2, (1998) 61-69.
• "The Type Extensible Architecture of A Simple Database System," Software -- Concepts and Tools 17 4, (1996) 141-147.
• (With K. Pillaipakkamnatt), "An Introduction to Opaque Types," Software -- Concepts and Tools 17 1, (1996) 1-5.
• (With R. McDaniel), "The StarLite Algorithm Animator," Software -- Concepts and Tools 16 1, (1995) 1-11.
• "An Experimental Analysis of the Lilith Instruction Set," IEEE Transactions on Computers 38, 1(Jan. 1989), 156-158.
• "Modula-2 Experiments Will Help Future Language Designs," IEEE Software 3, 6(Nov. 1986) 4-6.
• (with T.J. LeBlanc), "High-Level Broadcast Communication for Local-Area Networks," IEEE Software 2, 3(May 1985) 40-48.
• (with T.J. LeBlanc and R.H. Gerber), "The StarMod Distributed Programming Kernel," Software: Practice and Experience 14, 12(Dec. 1984) 1123-1139.
• (with T.J. LeBlanc), "A Symbol Table Abstraction to Implement Languages with Explicit Scope Control," IEEE Transactions on Software Engineering 9, 1(Jan. 1983) 8-12.
• (with T.J. LeBlanc), "Distributed Programming Languages:Design and Implementation," Computer Communications 5, 5(Oct. 1982) 239-244.
• (with I. Lee), "A Contextual Analysis of Pascal Programs," Software--Practice and Experience 12, (1982), 195-203.
• "Abstractions for Distributed Programming," Journal of Computer Languages 6, (1981), 131-138.
• "*MOD--A Language for Distributed Programming," IEEE Transactions on Software Engineering 6, 6(Nov. 1980), 563-571.

PAPERS

• "The Design of a Java Phone Programming Environment," ACM Intl. Conf. on Principles and Practice of Programming in Java, Lisbon Portugal, (Sept. 2007), 31-37.
• (With Y. Li) "A New Algorithm and Asymptotical Properties for the Deadlock Detection Problem for Computer Systems with Reusable Resource Types," IEEE International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, (Dec. 2006).
• "Thread Verification -- An Experience Report," International Workshop on Multithreading in Hardware and Software, Seattle WA, (Aug. 2006).
• "Mostly C, Challenges in LEGO RCX Code Generation," 44th ACM Southeast Conference, Melbourne FL, (March 2006).
• (with E.J. Schafer) "Real-time POSIX Threads for Linux," NASA Research and Technology 2004 Annual Report, #211535, (2004) 16-17.
• (with I. Lee, R. Alur et al) "Advanced Tool Integration for Embedded Systems Assurance," DoD University Research Initiative Workshop in Critical Infrastructure Protection and High-Confidence Adaptable Software, CD-ROM (Aug. 2004)
• (with A. Greca and J. Harris) "Enhancing Learning in a Data Communication and Networking Course With Laboratory Experiments," 17th Southeastern Consortium for Computing Sciences, Dunwoody GA (Nov. 2003).
• "OLAP Support in an Object-Relational Database System," International Conference on Information and Knowledge Engineering, Las Vegas, NV, (June 2003) 560-565.
• "Web Testing Using an Object-Relational Database System Demonstration," OOPSLA 2001, Tampa, FL, (Oct. 2001).
• "Learning in the Palm of Your Hand," WebNet 2001, Orlando, FL, (Oct. 2001).
• "The National Classroom Project--an experience report," Frontiers in Education Conference, Kansas City KS, (Oct. 2000).
• "An Introduction to Phoenix," ACM Southeast Regional Conference, Birmingham AL, (1999).
• "The Mobile Classroom Project," Frontiers in Education Conference, Tempe AZ, (1998) 205.
• "A Web-Based C++ Course Project," Frontiers in Education Conference, Tempe AZ, (1998) 1272-1273.
• "The Mobile Classroom Project," Frontiers in Education Conference, Pittsburgh PA, v2(1997) 696.
• "Obtuse, a Scripting Language for Migratory Applications," USENIX Conference on Object-Oriented Technologies and Systems, Portland Oregon, 6(1997) 67-80.
• (with S.H. Son and H. Oh), "New Paradigms for Real-Time Database Systems," 8th IEEE Workshop on Real-Time Software and Operating Systems, (May 1991) 103-108.
• (with L. Hsu, S. Son), "Real-Time, Priority-Ordered, Deadlock Avoidance Algorithms," Third ONR Workshop on Foundations of Real-Time Computing, (Oct. 1990).
• (with S. Son, Y Lin), "Concurrency Control in Real-Time Database Systems," Third ONR Workshop on Foundations of Real-Time Computing, (Oct. 1990).
• (with H. Oh), "The StarLite Project," Frontiers 90 Conference on Massively Parallel Computation, (Oct. 1990) 494-498.
• (with S.H. Son), "StarLite: An Environment for Prototyping and Integrated Design of Distributed Real-Time Software," Second International Conference on Computer Integrated Manufacturing, (May 1990) 507-515.
• (with L. Hsu), "StarLite: A Software Education Laboratory," Fourth SEI Conference on Software Engineering Education, (April 1990) 95-109.
• (with S.H. Son), "The StarLite Project," ONR Second Annual Workshop on Foundations of Real- Time Computing, (Oct. 1989) 136-140. "The StarLite Operating System," Workshop on Operating Systems for Mission-Critical Computing, (Sept. 1989) J1-J7.
• (with S.H. Son), "Scheduling and Consistency in Real-Time Database Systems," Sixth IEEE Workshop on Real-Time Software and Operating Systems, (May 1989) 42-45.
• (with S.H. Son and J. Ratner), "Communication Paradigms for Message-Based Multicomputer Systems," Fourth ACM Conference on Hypercube Concurrent Computers and Applications, (March 1989).
• "StarLite, A Network-Software, Prototyping Environment," Symposium on the Simulation of Computer Networks, (Aug. 1987) 178-184.
• (with S. H. Son), "The StarLite Project", IEEE Fourth Workshop on Real-Time Operating Systems, Cambridge, Massachusetts, (July 1987), 139-141.
• "StarLite, A Visual Simulation Package for Software Prototyping," Second Symposium on Practical Software Environments, (Dec. 1986), 102-110.
• "An Empirical Analysis of the Lilith Instruction Set," Workshop on Future Directions in Architecture and Software, (May 1986), 21-28.
• (with T.J. LeBlanc), "Broadcast Communication in StarMod," Fourth International Conference on Distributed Computing Systems, (May 1984) 319- 325. A summary appears in Computer Networks and ISDN Systems 9, 2(Feb. 1985) 150.
• (with T.J. LeBlanc), "An Analysis of Language Models for High-Performance Communication in Local-Area Networks," SIGPLAN 83 Symposium on Programming Language Issues in Software Systems, (June 1983) 65-72.
• (with I. Lee), "DYMOS--A Dynamic Modification System," ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, (March 1983) 133-134.
• (with C.J. Linn, J.L. Linn and T.M. Walker), "Cache Memories: A Tutorial and Survey of Current Research Directions," ACM 1982 National Conference, (Oct. 1982) 99-110.
• (with N. Donde), "An Experiment to Improve Operand Addressing," Symposium on Architectural Support for Programming Languages and Operating Systems, (March 1982), 87-91.
• "Abstractions for Distributed Programming", Workshop on Fundamental Issues in Distributed Computing, (Dec. 1980) 24-38.
• "The StarMod Distributed Programming System," COMPCON 80, (Sept. 1980), 729-735.
• "An Extensible Stack-Oriented Architecture for A High-Level Language Machine," International Workshop on High-Level Language Computer Architecture, Fort Lauderdale, Florida, (May 1980).
• "A Tabular Compilation System for Augmented Precedence Parsing," Eighth Texas Computer Conference, Dallas, Texas, (Nov. 1979).
• "*MOD--A Language for Distributed Programming," First International Conference on Distributed Computing Systems, Huntsville, Alabama, (Oct. 1979).

UNDERGRADUATE COURSES TAUGHT

Honors Programming, Introduction to Computer Science, Data Structures, Computer Organization, Operating Systems, Discrete Mathematics, Programming Languages, Digital Logic Design, Java Programming, C++ Programming, Intro. to Database, Robotics, Senior Project, Computers and Society, Computer Architecture, Visual Basic, Systems Software

GRADUATE COURSES TAUGHT

Computer Architecture, Operating Systems, Advanced Operating Systems, Distributed Systems, Software Engineering, Computer Networks, Introduction to Expert Systems, Compiler Construction, Advanced Compiler Construction, Programming Languages, Database

GRANTS AND CONTRACTS

Army Research Office, National Science Foundation, Office of Naval Research, Virginia Center for Innovative Technology, Microsoft, Hughes Aircraft, Intel, Burroughs, Modula Corporation, Hewlett-Packard, Digital Equipment, Casio, Proxim, 3COM/Palm, Franklin Electronic Publishers, Xilinx, NASA, U.S.D.O.T.

CONSULTING

Xerox Corporation, Rank Xerox, General Dynamics, Nicolet Instruments, Tektronix, General Electric, Institute for Defense Analysis, Microsoft, Sun Microsystems, RTG Consulting, U.S. Army Signal Command, Swedish Research Council, Fulbright Scholars Program, Invited lectures on space exploration and highway information systems at universities in Tianjin, Shanghai and Hong Kong.