معرفی
Benjamin F. Goldberg is an Associate Professor in the Computer Science Department at New York University (NYU), affiliated with the College of Arts and Science. His research focuses on compiler design, programming languages, and their verification, with notable contributions to compiler optimizations and validation frameworks like TVOC. He holds a Ph.D. in Computer Science from Yale University (1988), an M.S./M.Phil. from Yale (1984), and a B.A. in Mathematical Sciences from Williams College (1982).
- Education:
- Ph.D., Computer Science, Yale University, 1988
- M.S./M.Phil., Computer Science, Yale University, 1984
- B.A., Mathematical Sciences, Williams College, 1982
His research interests include compiler verification, compiler optimizations, and functional programming. He has developed the Trimaran compiler research infrastructure for instruction-level parallel architectures and pioneered work in translation validation (TVOC framework). Recent projects involve data-driven stroke rehabilitation using AI and wearable sensors, as well as climate modeling collaborations with the M2LInES initiative.
Grants and Collaborations:
- NIH Grant R01 LM013316 (Stroke Rehabilitation)
- NSF Grant IIS 2404476 (Data-Driven Medicine)
- Climate Modeling: Part of the M2LInES international project
Labs/Teams: Collaborates with the Mobilis Lab at NYU School of Medicine and the NYU Courant Institute. Active in interdisciplinary projects merging AI, healthcare, and environmental science.
