yuhak.phd

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

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

© 2026 yuhak.phd

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

Ashutosh Trivedi - University of Colorado Boulder 교수

University of Colorado BoulderA+ 티어Assistant

Ashutosh Trivedi

Assistant Professor; PhD, University of Warwick (UK) · ECE

공식 프로필 Google Scholar

논문: 184
총 인용: 1,127
h-index: 18
최근 5년 논문: 79

연구 분야

Formal Methods in Verification49%
Reinforcement Learning in Robotics18%
Software Testing and Debugging Techniques6%
semigroups and automata theory6%
Game Theory and Applications4%
Artificial Intelligence in Law3%

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

진행 중인 연구비1

CAREER: Reinforcement Learning for Recursive Markov Decision Processes and BeyondNSF신진 연구자 과제$597K (총액)2027년 4월 30일까지

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

대표 논문

1
Omega-Regular Objectives in Model-Free Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Lecture notes in computer science · 2019인용 120회논문 보기
2
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2023인용 59회논문 보기
3
Secure-by-construction synthesis of cyber-physical systems
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Annual Reviews in Control · 2022인용 54회논문 보기
4
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 2020인용 51회논문 보기
5
Reachability-time games on timed automata
Marcin Jurdziński, Ashutosh Trivedi
2007인용 43회논문 보기

연도별 논문 수

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

717

518

1119

1020

1721

1622

1823

2424

1525

1126

이 교수에게 컨택하기 전에

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

소속 · 링크

University of Colorado Boulder
ECE · Assistant Professor; PhD, University of Warwick (UK)
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문Competitive optimisation on timed automata(2026)
새 논문Automata-Theoretic Verification of Interval Markov Decision Processes(2026)
새 논문Reachability-time games on timed automata(2026)

경력 (논문 소속 기준)

University of Liverpool2026–현재
University of Colorado Boulder2016–현재
Indian Institute of Technology Bombay2013–2016
University of Pennsylvania2011–2012
University of Oxford2009–2010
University of Warwick2007–2008

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

자주 함께 연구하는 사람

Majid ZamaniUniversity of Colorado Boulder
Fabio SomenziUniversity of Colorado Boulder
Sven ScheweUniversity of Liverpool
Mateo PerezUniversity of Colorado Boulder
Vishnu MuraliUniversity of Colorado Boulder

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

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

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