FSU Computer Science

Home > People >

Theodore P. Baker Emeritus Professor

Theodore P. Baker
Office:
Telephone:
E-Mail: baker [ at cs dot fsu dot edu ]
Send an Email
Visit Personal Page

Dr. Ted Baker received his Ph.D. in computer science from Cornell University in 1974. He joined the Department of Mathematics at Florida State University in 1973 and was one of the founding members of the FSU Department of Computer Science. Dr. Baker's current area of interest is technology that supports the design and construction of software systems to satisfy real-time requirements, from formal schedulability analysis to real-time operating systems. He is the author or coauthor of over sixty papers, and has served as editor or contributor to several international software engineering standards.

Research

Dr. Baker's research interests have included the P=?NP question and polynomial-time relative computability, pattern matching and parsing algorithms, compilation techniques, and real-time programming languages, scheduling and operating systems. He believes in the importance of formal and experimental methods, and in the transition of computer science research to engineering standards. He served as domain expert for real-time and systems programming in the ANSI/ISO Ada 95 language standard revision project, and directed the FSU team that developed the real-time multitasking runtime system for the Gnu Ada 95 compiler (GNAT). His current research focus is on real-time multiprocessor scheduling, including the both analytical study of schedulability and the empirical study of performance of working real-time multiprocessor kernels.

Selected Publications

  • T.P. Baker, ``Multiprocessor EDF and Deadline Monotonic Schedulability Analysis'', Proceedings of the IEEE Real-Time Systems Symposium (December 2003).
  • Dong-Ik Oh and T.P. Baker, ``Utilization bounds for N-processor rate monotone scheduling with stable processor assignment'', The Real Time Systems Journal 15,1 (September1998) 183-193.
  • T.M. Ghazalie and T.P. Baker, ``Aperiodic Servers in a Deadline Scheduling Environment'', The Real-Time Systems Journal 9,1 (July 1995) 31-68.
  • T.P. Baker, ``Stack-based scheduling of realtime processes'', The Real-Time Systems Journal 3,1 (March 1991) 67-100.