معرفی
Dr. Scott Smith is a Professor in the Department of Computer Science at The Johns Hopkins University, where he has been a faculty member since 1988. His research focuses on programming languages, formal methods, and static program analysis, with applications to type systems, security verification, and higher-order program analysis. He currently serves as the Director of Graduate Studies for the department.
- Education:
- Bachelor’s degree in Computer Science and Chemistry from Purdue University (1983)
- Master’s degree and PhD in Computer Science from Cornell University (1985, 1989)
- Research:
- Founded and directs the Programming Languages Laboratory
- Key projects: BlueJay Type Refuter, Demand-Driven Program Analysis, and the Big Bang project for typed scripting languages
- Teaching:
- Teaches Programming Languages (601.426/626) in spring
- Teaches Object-Oriented Software Engineering (601.421/621) in fall
- Professional Service:
- Member of ACM
- Editorial board for ACM Computing Surveys
- Panelist and program committee member for numerous conferences
- Students:
- Advises undergraduate researchers, including Sofia Rest, recipient of the Provost’s Undergraduate Research Award
۰مقاله منتشرشده
