yuhak.phd

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

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

© 2026 yuhak.phd

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

Alberto L. Sangiovanni-Vincentelli - UC Berkeley 교수

UC BerkeleyS 티어Etc

Alberto L. Sangiovanni-Vincentelli

Faculty (rank not supplied by public index) · ECE

공식 프로필 Google Scholar

논문: 1,663
총 인용: 56,506
h-index: 110
최근 5년 논문: 51

연구 분야

Formal Methods in Verification25%
Reinforcement Learning in Robotics12%
Autonomous Vehicle Technology and Safety8%
Infection Control and Ventilation8%
Smart Grid Security and Resilience4%
VLSI and FPGA Design Techniques4%

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

진행 중인 연구비

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

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

대표 논문

1
Logic Minimization Algorithms for VLSI Synthesis
Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto Luigi Sangiovanni-Vincentelli
Kluwer international series in engineering and computer science · 1984인용 1,974회논문 보기
2
MIS: A Multiple-Level Logic Optimization System
Robert K. Brayton, Richard L. Rudell, Alberto Luigi Sangiovanni-Vincentelli, A.R. Wang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1987인용 1,158회논문 보기
3
System-level design: orthogonalization of concerns and platform-based design
Kurt Keutzer, A. Richard Newton, Jan M. Rabaey, Alberto Luigi Sangiovanni-Vincentelli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000인용 969회논문 보기
4
The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits
E. Lelarasmee, A.E. Ruehli, Alberto Luigi Sangiovanni-Vincentelli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1982인용 822회논문 보기
5
Modeling Cyber–Physical Systems
Patricia Derler, Edward A. Lee, Alberto Luigi Sangiovanni-Vincentelli
Proceedings of the IEEE · 2011인용 782회논문 보기

연도별 논문 수

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

3117

2618

2219

1520

1821

1022

2023

824

1225

526

이 교수에게 컨택하기 전에

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

소속 · 링크

UC Berkeley
ECE · Faculty (rank not supplied by public index)
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문The Essence of System-Level Design: Collaboration and Interdisciplinarity: A story of many research centers(2026)
새 논문ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios(2026)
새 논문Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning(2026)

경력 (논문 소속 기준)

Technical University of Munich2024–현재
University of Pennsylvania2014–2015
University of California San Diego2009–2014
University of Trento2006–2012
Columbia University2006–2008
University of Pisa2005–2007

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

자주 함께 연구하는 사람

Sanjit Arunkumar SeshiaUniversity of California System
Inigo IncerUniversity of Michigan
Albert Benveniste AInstitut national de recherche en sciences et technologies du numérique
Sheng-Jung YuUniversity of California, Berkeley
Daniel J. FremontUniversity of California, Santa Cruz

최근 5년 공저 논문 기준

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