yuhak.phd

미국 이공계 대학원 유학 길잡이

교수 정보를 불러오는 중이에요.

© 2026 yuhak.phd

서비스 소개 이용약관 개인정보처리방침

Sriram Sankaranarayanan - University of Colorado Boulder 교수

University of Colorado BoulderA+ 티어Full Professor

Sriram Sankaranarayanan

Professor; PhD, Stanford University · ECE

공식 프로필 Google Scholar

논문: 289
총 인용: 7,923
h-index: 44
최근 5년 논문: 48

연구 분야

Formal Methods in Verification56%
Control Systems and Identification8%
Reinforcement Learning in Robotics6%
Intelligent Tutoring Systems and Adaptive Learning4%
Diabetes Management and Research4%
Human-Automation Interaction and Safety4%

최근 5년 논문에서 각 분야가 차지하는 비중 (OpenAlex 분류)

진행 중인 연구비1

FMitF: Track I: Verified Probabilistic Programming for Hybrid SystemsNSF$875K (총액)2028년 8월 31일까지

NSF·NIH 공개 데이터에서 교수 이름과 소속으로 자동 매칭한 책임연구자(PI) 과제예요. 국방부·에너지부·기업·재단 연구비는 포함되지 않아요. NSF는 과제 총액, NIH는 최근 회계연도 금액이에요. (2026년 10월 29일 확인)

대표 논문

1
Flow*: An Analyzer for Non-linear Hybrid Systems
Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
Lecture notes in computer science · 2013인용 528회논문 보기
2
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan
Lecture notes in computer science · 2011인용 439회논문 보기
3
Linear Invariant Generation Using Non-linear Constraint Solving
Michael A. Colón, Sriram Sankaranarayanan, Henny B. Sipma
Lecture notes in computer science · 2003인용 354회논문 보기
4
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, …
Lecture notes in computer science · 2018인용 333회논문 보기
5
LOLA: Runtime Monitoring of Synchronous Systems
Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, W. Robinson, Bernd Finkbeiner, Henny B. Sipma, …
International Symposium on Temporal Representation and Reasoning · 2005인용 293회논문 보기

연도별 논문 수

최근에도 활발히 연구하는지 한눈에 볼 수 있어요.

1517

1418

1619

1520

721

922

923

1224

1325

826

이 교수에게 컨택하기 전에

내 연구와 핏 분석하기 컨택 메일 첨삭 받기 (무료)

소속 · 링크

University of Colorado Boulder
ECE · Professor; PhD, Stanford University
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문Propagating shocks and transitions across networked food systems: Insights from multiplayer microeconomic modeling(2026)
새 논문Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation Functions(2026)
새 논문Locomotor adaptation can persistently reorganize stride-to-stride regulation of centre-of-mass error dynamics(2026)

경력 (논문 소속 기준)

Indian School of Business2026–현재
University of Colorado Boulder2009–현재
NEC (United States)2007–2009
Stanford University2002–2007
Indian Institute of Technology Kharagpur2001–2002

논문에 적힌 소속을 연도별로 모은 것이라 박사·박사후 과정과 방문연구가 함께 보여요. 임용 날짜는 아니에요.

자주 함께 연구하는 사람

Guillaume O. Berger
Emily JensenUniversity of Colorado Boulder
Kandai Watanabe
Morteza Lahijanian
Georgios FainekosToyota Motor North America (United States)

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

Electrical Engineering (PhD)PhD Electrical Engineering (MS)MS

출처: 공식 교수·학과 페이지 (2026년 8월 30일 확인) · OpenAlex (2026년 10월 30일 갱신)