yuhak.phd

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

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

© 2026 yuhak.phd

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

Majid Zamani - University of Colorado Boulder 교수

University of Colorado BoulderA+ 티어Associate

Majid Zamani

Associate Professor; PhD, University of California, Los Angeles · CS

공식 프로필 Google Scholar

논문: 332
총 인용: 4,727
h-index: 33
최근 5년 논문: 113

연구 분야

Formal Methods in Verification85%
Adversarial Robustness in Machine Learning2%
Reinforcement Learning in Robotics2%
Advanced Control Systems Optimization2%
Stability and Control of Uncertain Systems2%
Safety Systems Engineering in Autonomy1%

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

진행 중인 연구비

진행 중인 NSF·NIH 과제가 확인되지 않았어요.

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

대표 논문

1
Design of a fractional order PID controller for an AVR using particle swarm optimization
Majid Zamani, Masoud Karimi-Ghartemani, Nasser Sadati, Mostafa Parniani
Control Engineering Practice · 2009인용 617회논문 보기
2
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
Majid Zamani, Giordano Pola, Manuel Mazo, Paulo Tabuada
IEEE Transactions on Automatic Control · 2011인용 289회논문 보기
3
SCOTS
Matthias Rungger, Majid Zamani
International Conference on Hybrid Systems: computation and control · 2016인용 197회논문 보기
4
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
IEEE Transactions on Automatic Control · 2014인용 156회논문 보기
5
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
IEEE Transactions on Automatic Control · 2020인용 130회논문 보기

연도별 논문 수

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

1417

1818

2419

4820

3921

3322

2823

2124

2125

1726

이 교수에게 컨택하기 전에

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

소속 · 링크

University of Colorado Boulder
CS · Associate Professor; PhD, University of California, Los Angeles
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문FoSeRL: Formal Sequential Robustness Certification for Reinforcement Learning Policies(2026)
새 논문Data-Driven Compositional Safety Verification of Interconnected Monotone Systems(2026)
새 논문Rectangular Partitioning Optimization for Data-Driven Abstractions of Monotone Systems(2026)

경력 (논문 소속 기준)

Ludwig-Maximilians-Universität München2019–현재
University of Colorado Boulder2019–현재
Delft University of Technology2013–2014
Technical University of Munich2011–2018
University of California, Los Angeles2009–2012
Sharif University of Technology2006–2007

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

자주 함께 연구하는 사람

Vishnu MuraliUniversity of Colorado Boulder
Bingzhuo Zhong
Ashutosh TrivediUniversity of Colorado Boulder
Abolfazl LavaeiNewcastle University
Marco CaccamoTechnical University of Munich

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

Computer Science (MS)MS Computer Science (PhD)PhD

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