yuhak.phd

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

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

© 2026 yuhak.phd

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

Vijay Ganesh - Georgia Tech 교수

Georgia TechS 티어Full Professor

Vijay Ganesh

Professor · CS

공식 프로필 Scholar 검색

논문: 263
총 인용: 6,059
h-index: 33
최근 5년 논문: 81

연구 분야

Formal Methods in Verification19%
Constraint Satisfaction and Optimization13%
Quantum Mechanics and Applications9%
Blockchain Technology Applications and Security9%
Adversarial Robustness in Machine Learning5%
Ethics and Social Impacts of AI4%

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

진행 중인 연구비

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

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

대표 논문

1
EXE
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson Engler
ACM SIGSAC Conference on Computer and Communications Security (CCS) · 2006인용 789회논문 보기
2
A Decision Procedure for Bit-Vectors and Arrays
Vijay Ganesh, David L. Dill
Springer eBooks · 2007인용 595회논문 보기
3
EXPRESSION
Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alex Nicolau
Design, Automation, and Test in Europe · 1999인용 409회논문 보기
4
Taint-based directed whitebox fuzzing
Vijay Ganesh, Tim Leek, Martin Rinard
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2009인용 357회논문 보기
5
EXE
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson Engler
ACM Transactions on Information and System Security · 2008인용 343회논문 보기

연도별 논문 수

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

1117

1818

1619

2420

1621

822

1723

2324

1625

3126

이 교수에게 컨택하기 전에

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

소속 · 링크

Georgia Tech
CS · Professor
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문Simple Local Search Improves 33 Published Upper Bounds for Balanced Latin Rectangles(2026)
새 논문The Four-Qubit Hyperbolic Quadric Has Contextuality Degree 315(2026)
새 논문The Four-Qubit Hyperbolic Quadric Has Contextuality Degree 315(2026)

경력 (논문 소속 기준)

2024년경 부임 · 다른 학교에서 옮겨 옴

Atlanta Technical College2026–현재
Tongji University2026–현재
Georgia Institute of Technology2024–현재
University of Waterloo2012–현재
Massachusetts Institute of Technology2009–2013
Stanford University2000–2008

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

자주 함께 연구하는 사람

Piyush JhaGeorgia Institute of Technology
Curtis BrightUniversity of Waterloo
Zhengyu LiGeorgia Institute of Technology
Florín ManeaCampus-Institut Data Science (CIDAS)
Arie Gurfinkel

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

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

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