NSF CAREER award supports researcher's cyber-physical 1xbet online sports betting work
Monday, Jan. 25, 2016
MANHATTAN — The National Science Foundation has issued a CAREER award to a Kansas State University computing and information sciences researcher for her work that can develop better transportation, health care and energy 1xbet online sports betting .
Pavithra 1xbet online sports betting , assistant professor of computing and information sciences, has received a five-year 6,000 CAREER award for her project "Robust Verification of Cyber-Physical 1xbet online sports betting ."
"Cyber-physical 1xbet online sports betting are an important part of modern society and they have transformative applications in the transportation, health care and energy sectors," Prabhakar said. "This research will bridge an important gap in the existing methodologies for the analysis of cyber-physical 1xbet online sports betting through the novel paradigm of robust verification, which will enable the development of high-confidence cyber-physical 1xbet online sports betting , particularly automotive and aerospace 1xbet online sports betting ."
The National Science Foundation's Faculty Early Career Development Program is one of the foundation's most prestigious awards for supporting early career faculty who effectively integrate research and education in the context of their institution's mission.
"We are thrilled that Pavithra has received the CAREER award for her important research on 1xbet online sports betting that are becoming more prevalent in our lives," said Darren Dawson, dean of the College of Engineering. "Prestigious faculty recognition at this level is a crucial part of Kansas State University's plan to be a Top 50 public research university by 2025."
For her CAREER project, Prabhakar will address the challenge of reliably developing cyber-physical 1xbet online sports betting , which are software networks that interact with the physical world. Prabhakar will focus on several types of cyber-physical 1xbet online sports betting , including aerospace, automotive and robotic 1xbet online sports betting .
Prabhakar will dig deeper into the design of cyber-physical 1xbet online sports betting and take a holistic approach to ensuring high-level specifications. Most of the current analysis focuses on detecting low-level errors in cyber-physical 1xbet online sports betting software. Prabhakar wants to go a step further and develop a robust verification paradigm that addresses high-level functional properties, such as collision avoidance in air traffic control.
"We want to investigate new foundations, abstractions and verification algorithms for robust analysis, in light of novel quantitative and topological aspects of robustness," Prabhakar said. ''We want to advance knowledge in the fields of formal methods and hybrid control 1xbet online sports betting by leveraging ideas from control theory, dynamical 1xbet online sports betting theory, optimization theory and satisfiability modulo theory."
Prabhakar and her research team also will develop prototype tools. She will create new cross-disciplinary courses to teach undergraduate and graduate students about hybrid control system design. Through research and outreach activities, Prabhakar will recruit and mentor undergraduate students, especially those from underrepresented groups. She also will organize physical 1xbet online sports betting programs and activities for high school students interested in STEM-related careers.
"This CAREER award will be critical in jump-starting my research," Prabhakar said. "In particular, it will facilitate building a strong hybrid 1xbet online sports betting group in the computing and information sciences department by supporting some initial students."
Prabhakar's main research interests include the formal analysis of cyber-physical 1xbet online sports betting , with emphasis on both theoretical and practical methods for verification and synthesis of hybrid control 1xbet online sports betting . She has served on the program committees of several conferences in the field of hybrid 1xbet online sports betting and formal verification as well as chaired several workshops and seminars. She also has received the Marie Curie Career Integration Grant from the European Union.
