CAREER: Algorithms for Self-testing/Correcting Program and Learning

这个项目集中在两条研究路线上：（1）程序正确性和（2）学习确定性和概率有限自动机的问题：（1）由于最简单的程序可能充满了难以捉摸的错误，因此引入了程序检查器，自测试程序和自校正程序的研究，以便允许使用程序而不相信它正确工作。在这个领域，这个项目的目标是开发一个核心的算法技术，用于编写快速和简单的检查程序、自校正程序和自测试程序;（2）确定性和概率有限自动机学习领域的目标是研究自动机学习算法在在线页面替换策略、强化学习、博弈论、词性标注、音素建模和解析。这项职业补助金的综合教育计划包括设计新项目，以促进本科生和研究生参与研究过程和指导本科生。***

This project focuses on two lines of research: (1) program correctness and (2) the problem of learning deterministic and probabilistic finite automata:(1) Because the simplest of programs can be full of elusive errors, the study of program checkers, self-testing programs and self correcting programs, was introduced, in order to permit the use of a program without trusting that it works correctly. In this area, the goal of this project is to develop a core of algorithmic techniques for writing fast and simple checkers, self-correctors, and self-testers;(2) The goal in the area of learning deterministic and probabilistic finite automata is to study the applications of automata learning algorithms to on-line page replacement strategies, reinforcement learning, game theory, part-of-speech tagging, phoneme modeling, and parsing. The Integrated Educational Plan of this CAREER Grant includes designing new projects to facilitate undergraduate and graduate student involvement in the research process and mentoring undergraduates. ***