교수 정보를 불러오는 중이에요.
교수 정보를 불러오는 중이에요.
Faculty (rank not supplied by public index) · ECE
최근 5년 논문에서 각 분야가 차지하는 비중 (OpenAlex 분류)
진행 중인 NSF·NIH 과제가 확인되지 않았어요.
NSF·NIH 공개 데이터에서 교수 이름과 소속으로 자동 매칭한 책임연구자(PI) 과제예요. 국방부·에너지부·기업·재단 연구비는 포함되지 않아요. NSF는 과제 총액, NIH는 최근 회계연도 금액이에요. (2026년 10월 29일 확인)
Edward Ashford Lee, Sanjit Arunkumar Seshia
2013인용 1,172회논문 보기
Mihai Christodorescu, Somesh Jha, Sanjit Arunkumar Seshia, Dawn Xiaodong Song, Randal E. Bryant
IEEE Symposium on Security and Privacy (S&P) · 2005인용 731회논문 보기
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit Arunkumar Seshia, Vijay Saraswat
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 2006인용 647회논문 보기
Rajeev Alur A, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit Arunkumar Seshia, …
Formal Methods in Computer-Aided Design · 2013인용 646회논문 보기
Susmit Jha, Sumit Gulwani, Sanjit Arunkumar Seshia, Ashish Tiwari
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2010인용 488회논문 보기
최근에도 활발히 연구하는지 한눈에 볼 수 있어요.