연구실 목록
Joseph Tassarotti 교수 연구 프로필
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 10. 31. 확인
대학원 지원 마감
컴퓨터과학과
PhD in Computer Science
Fall 2027지원 마감
2026년 12월 12일
원문에 연도가 없어요 — 이번 사이클 날짜인지 원문에서 확인하세요.
GSAS를 통해 지원 · Fall 2026부터 Courant·Tandon CS 박사과정이 하나로 통합
출처: cs.nyu.edu2026년 11월 2일 확인
소개
뉴욕 대학교 컴퓨터과학과 소속 Joseph Tassarotti 교수의 등록된 연구 분야는 Programming languages, formal verification, systems입니다.
연구 키워드
Programming languagesformal verificationsystems
같은 학과의 다른 연구실
- Alan Siegel 교수 연구실
VLSI design, analysis of algorithms, lower bounds, parallel algorithms, probability, combinatorial geometry
- Allen Liu 교수 연구실
Machine Learning Theory, Algorithms, Quantum Information
- Andrew Gordon Wilson 교수 연구실
Machine learning, Bayesian statistics, numerical linear algebra
- Anirudh Sivaraman 교수 연구실
Programmable routers, computer networks, hardware and software for computer systems
- Anupam Gupta 교수 연구실
Algorithms, Theoretical Computer Science, Metric Embeddings
- Aurojit Panda 교수 연구실
Distributed systems, systems, networking