基本信息
浏览量:233
职业迁徙
个人简介
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.
研究兴趣
论文共 95 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Gavin B M Vaughan,J Methven, Deborah L Anderson,Bogdan Antonescu,L H Baker,T Baker, S P Ballard,K N Bower,P R A Brown,Jeffrey M Chagnon,T W Choularton, J Chylik,
user-5f8cf9244c775ec6fa691c99(2012)
引用0浏览0引用
0
0
Christine Anderson,Jean D Ichbiah,Theodore P Baker, Magnus Kempe,John Barnes,Pascal Leroy,Grady Booch, Bob Mathis, Kenneth L Bowles, Charles Mckay, Ben Brosgol,James W Moore,
mag(2012)
引用23浏览0引用
23
0
Journal of Embedded Computingno. 2 (2011): 55-69
Theodore P. Baker, Scott Brandt, Rupak Majumdar,Christoph M. Kirsch, John Regehr,Christopher Gill, Ragunathan Rajkumar, Sathish Gopalakrishnan
2010 31st IEEE Real-Time Systems Symposium (2010)
Real-Time and Embedded Technology and Applications Symposiumpp.35-45, (2010)
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems (2009)
引用23浏览0EI引用
23
0
Dublinpp.141-150, (2009)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn