Theodore P. BakerProfessor (retired)
Ph.D., Computer Science, Cornell University, 1974.
Professor Baker's first research was in theoretical computer science. His best known work is this area is related to the P=?NP question and polynomial-time relative computability. He has also published research in pattern matching and parsing algorithms, compilation techniques, and in real-time programming languages, scheduling and operating systems.
Starting in 1979, Professor Baker became involved with the development of the the Ada programming language. A group he organized at FSU (including Professor Riccardi) produced one of the first validated Ada cross-compilers for embedded systems.
After the completion of the FSU/AFATL Ada compiler project, Professor Baker concentrated on problems connected with using Ada in real-time embedded computing applications, focusing on the Ada runtime environment, and how to produce systems that verifiably meet hard timing constraints. This work was supported by contracts from several sources, including the Boeing Companies, the U.S. Army (Fort Monmouth), and U.S. Navy (ONR, NRL/STARS-Foundations, NCSC). It has involved design, implementation, and testing of a series of runtime systems that are suitable for use in multiprocessor shared-memory environment, as well as the FSU Pthreads library.
In 1991, as Domain Expert for the real-time systems and systems programming for the Ada9X Mapping-Revision Team, Professor Baker played a significant role in drafting the real-time systems and systems programming sections of the Ada 95 reference manual, which was adopted in 1995 as the international standard for the Ada programming language.
Professor Baker directed a project at FSU to develop the multi-tasking runtime system for the Gnu NYU Ada 95 Translator (GNAT). This is believed to have been the first validatable implementation of Ada 95 tasking for a non-embedded system, and is probably the most portable, successful, and widely used of all Ada 95 implementations. Professor Baker subsequently directed the porting of the GNAT multi-tasking implementation to a variety of platforms, including the Java VM and RT Linux.
Concurrent with his work on Ada, Professor Baker has done research on real-time scheduling, worst-case execution time prediction, and concurrency control. Some of this work was done in collaboration with graduate students. His contributions in this area include the Stack Resource Protocol (SRP), algorithms for scheduling sporadic and aperiodic tasks in a deadline scheduling environment, and techniques for analyzing the feasibily and schedulability of arbitrary sparadic task systems on multiprocessor platforms.
Professor Baker has been active in software standards related to real-time operating systems and programming languages. Besides editing the POSIX Ada binding standards (IEEE Std 1003.5b-c), he worked with students to develop a portable implementation and a set of validation tests for these standards, with funds provided by the U.S. Department of Defense, Defense Information Systems Agency.
From 1998 to 2002, Dr. Baker served as Chair of the Department of Computer Science at Florida State University. Under his leadership, the department implemented what may be the first ABET-accredited distance learning degree program in Computer Science, approximately doubled in faculty size, and more than doubled its external research funding. A part of this growth initiative was development of a research group and graduate educational program in information assurance, including computer security and cryptography. For this development, the department was recognized in 2000 as a Center of Educational Excellence in Information Assurance.
Dr. Baker's recent primary research interests are the analysis of real-time scheduling algorithms for multi-processors, and incorporating device drivers into real-time schedulability analysis.
Dr. Baker retired from the Florida State University in December 2011. He was then employed as a Research Professor at the Florida Institute of Technology, from which was assigned to work as a Program Director in the Division of Computer and Network Systems at the National Science Foundation under the Intergovernmental Personnel Act, until December 2014. He retains a continuing relationship with FSU as Professor Emeritus, doing occasional teaching and supervision of research.