NSF CAREER 상은 연구원의 사이버 물리 카지노 검증 사이트 작업을 지원합니다.
2016년 1월 25일 월요일
MANHATTAN — 국립과학재단이 발행한 내용은 다음과 같습니다.경력 상더 나은 교통, 의료 및 에너지 카지노 검증 사이트을 개발할 수 있는 연구에 대해 캔자스 주립 대학의 컴퓨팅 및 정보 과학 연구원에게 바칩니다.
파비트라 프라브하카르는 "사이버 물리 카지노 검증 사이트의 강력한 검증" 프로젝트로 5년간 6,000 CAREER 상을 받았습니다.
"사이버 물리 카지노 검증 사이트은 현대 사회의 중요한 부분이며 교통, 의료 및 에너지 부문에서 혁신적인 응용 프로그램을 가지고 있습니다."라고 Prabhakar는 말했습니다. "이 연구는 강력한 검증의 새로운 패러다임을 통해 사이버 물리 카지노 검증 사이트 분석을 위한 기존 방법론의 중요한 격차를 해소할 것이며, 이를 통해 신뢰성이 높은 사이버 물리 카지노 검증 사이트, 특히 자동차 및 항공우주 카지노 검증 사이트의 개발을 가능하게 할 것입니다."
국립과학재단의 교수 조기 경력 개발 프로그램은 해당 기관의 임무 맥락에서 연구와 교육을 효과적으로 통합하는 초기 경력 교수진을 지원하는 재단의 가장 권위 있는 상 중 하나입니다.
"우리는 Pavithra가 우리 삶에서 점점 더 널리 퍼지고 있는 카지노 검증 사이트에 대한 그녀의 중요한 연구로 CAREER 상을 받게 되어 기쁩니다"라고 공과대학 학장인 Darren Dawson이 말했습니다. "이 수준에서 권위 있는 교수진의 인정은 2025년까지 상위 50위 공립 연구 대학이 되려는 캔자스 주립대학교의 계획에서 중요한 부분입니다."
CAREER 프로젝트에서 Prabhakar는 물리적 세계와 상호 작용하는 소프트웨어 네트워크인 사이버 물리 카지노 검증 사이트을 안정적으로 개발하는 과제를 해결할 것입니다. Prabhakar는 항공우주, 자동차, 로봇 카지노 검증 사이트을 포함한 여러 유형의 사이버 물리 카지노 검증 사이트에 중점을 둘 예정입니다.
Prabhakar는 사이버 물리 카지노 검증 사이트의 설계에 대해 더 깊이 파고들어 높은 수준의 사양을 보장하기 위해 전체적인 접근 방식을 취할 것입니다. 현재 분석의 대부분은 사이버 물리 카지노 검증 사이트 소프트웨어의 낮은 수준 오류를 탐지하는 데 중점을 두고 있습니다.
"우리는 견고성의 새로운 정량적 및 위상학적 측면을 고려하여 견고한 분석을 위한 새로운 기초, 추상화 및 검증 알고리즘을 조사하고 싶습니다."라고 Prabhakar는 말했습니다. ''우리는 제어 이론, 동적 카지노 검증 사이트 이론, 최적화 이론 및 만족 모듈로 이론의 아이디어를 활용하여 형식 방법 및 하이브리드 제어 카지노 검증 사이트 분야의 지식을 발전시키고 싶습니다."
Prabhakar와 그녀의 연구팀은 프로토타입 도구도 개발할 것입니다. 그녀는 학부생과 대학원생에게 하이브리드 제어 카지노 검증 사이트 설계를 가르치기 위해 새로운 학제간 강좌를 만들 예정입니다.
"이 CAREER 상은 내 연구를 시작하는 데 매우 중요할 것입니다." Prabhakar가 말했습니다. "특히 일부 초기 학생을 지원함으로써 컴퓨팅 및 정보 과학 학과에서 강력한 하이브리드 카지노 검증 사이트 그룹 구축을 촉진할 것입니다."
Prabhakar의 주요 연구 관심 분야에는 사이버 물리 카지노 검증 사이트의 형식적 분석이 포함되며, 하이브리드 제어 카지노 검증 사이트의 검증 및 합성을 위한 이론적이고 실제적인 방법에 중점을 두고 있습니다. 그녀는 하이브리드 카지노 검증 사이트 및 공식 검증 분야의 여러 컨퍼런스의 프로그램 위원회에서 활동했으며 여러 워크숍과 세미나의 의장을 맡았습니다.
