yuhak.phd

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

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

© 2026 yuhak.phd

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

Fabio Somenzi - University of Colorado Boulder 교수

University of Colorado BoulderA+ 티어Associate

Fabio Somenzi

Professor, Associate Chair; PhD, Politecnico Di Torino (Italy) · ECE

공식 프로필 Google Scholar

논문: 305
총 인용: 8,113
h-index: 47
최근 5년 논문: 20

연구 분야

Reinforcement Learning in Robotics40%
Formal Methods in Verification35%
Explainable Artificial Intelligence (XAI)10%
semigroups and automata theory10%
Logic, Reasoning, and Knowledge5%

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

진행 중인 연구비

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

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

대표 논문

1
VIS: A system for verification and synthesis
Robert K. Brayton, Gary D. Hachtel, Alberto Luigi Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu -Tsung Cheng, …
Lecture notes in computer science · 1996인용 613회논문 보기
2
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
Kluwer Academic Publishers eBooks · 2002인용 388회논문 보기
3
Efficient Büchi Automata from LTL Formulae
Fabio Somenzi, Roderick Bloem
Lecture notes in computer science · 2000인용 292회논문 보기
4
Algebraic decision diagrams and their applications
Ruth Iris Bahar, E.A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, …
International Conference on Computer Aided Design · 2002인용 281회논문 보기
5
Algebraic Decision Diagrams and Their Applications
Ruth Iris Bahar, E.A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, …
Formal Methods in System Design · 1997인용 267회논문 보기

연도별 논문 수

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

517

418

619

620

521

1022

723

924

325

226

이 교수에게 컨택하기 전에

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

소속 · 링크

University of Colorado Boulder
ECE · Professor, Associate Chair; PhD, Politecnico Di Torino (Italy)
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku(2025)
새 논문Equivalence Checking(2026)
새 논문Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives(2026)

경력 (논문 소속 기준)

University of Colorado Boulder1990–현재

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

자주 함께 연구하는 사람

Ashutosh TrivediUniversity of Colorado Boulder
Mateo PerezUniversity of Colorado Boulder
Ernst Moritz HahnUniversity of Twente
Sven ScheweUniversity of Liverpool
Dominik WojtczakUniversity of Liverpool

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

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

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