# Sam Tobin-Hochstadt

> Ph.D. Northeastern University 2010

**Wikidata**: [Q102368117](https://www.wikidata.org/wiki/Q102368117)  
**Source**: https://4ort.xyz/entity/sam-tobin-hochstadt

## Summary
Sam Tobin-Hochstadt is an American computer scientist and university teacher known for his work in programming languages and software engineering. He earned his Ph.D. from Northeastern University in 2010 under the supervision of Matthias Felleisen and is currently a faculty member at Indiana University Bloomington.

## Biography
- Born: Not specified
- Nationality: American
- Education: Ph.D. in Computer Science from Northeastern University (2010); B.S. in Computer Science from University of Chicago (2003)
- Known for: Research in programming languages, particularly the development of Typed Racket
- Employer(s): Indiana University Bloomington (since 2013)
- Field(s): Computer science, programming languages, software engineering

## Contributions
Sam Tobin-Hochstadt is best known for his work on Typed Racket, a gradual typing system that extends the Racket programming language. This system allows programmers to add static type annotations to dynamically typed code incrementally, providing a bridge between dynamic and static typing paradigms. His research has been influential in the field of programming languages, particularly in the area of gradual typing. Tobin-Hochstadt has published numerous papers on these topics, contributing to the theoretical foundations and practical applications of gradual typing systems. His work has been cited extensively in academic literature and has influenced the design of other gradual typing systems in various programming languages.

## FAQs
### Q: What is Sam Tobin-Hochstadt known for in computer science?
A: He is known for his work on Typed Racket, a gradual typing system for the Racket programming language, and for his research in programming languages and software engineering.

### Q: Where does Sam Tobin-Hochstadt work?
A: He is a faculty member at Indiana University Bloomington, where he has been employed since 2013.

### Q: Who was Sam Tobin-Hochstadt's doctoral advisor?
A: His doctoral advisor was Matthias Felleisen at Northeastern University.

## Why They Matter
Sam Tobin-Hochstadt's work on Typed Racket and gradual typing has had a significant impact on the field of programming languages. His research has provided a practical solution for programmers who want to add static type checking to dynamically typed codebases without rewriting everything at once. This approach has influenced the design of gradual typing systems in other languages and has sparked further research into the theory and practice of type systems. Tobin-Hochstadt's contributions have helped bridge the gap between dynamic and static typing communities, offering a middle ground that combines the flexibility of dynamic languages with the safety benefits of static typing.

## Notable For
- Developed Typed Racket, a gradual typing system for the Racket programming language
- Published influential papers on gradual typing and programming language design
- Supervised Ph.D. student Andrew M. Kent
- Maintains an active research blog at scriptstoprograms.wordpress.com
- Has an extensive academic profile with publications indexed in DBLP, arXiv, and Google Scholar

## Body
### Academic Background
Sam Tobin-Hochstadt completed his undergraduate studies at the University of Chicago, earning a B.S. in Computer Science in 2003. He then pursued his Ph.D. at Northeastern University, graduating in 2010. His doctoral dissertation focused on the design and implementation of Typed Racket, a gradual typing system for the Racket programming language.

### Research Focus
Tobin-Hochstadt's research primarily focuses on programming languages, with a particular emphasis on type systems and software engineering. His work on Typed Racket has been influential in the field of gradual typing, which allows programmers to add static type annotations to dynamically typed code incrementally. This approach provides a middle ground between dynamic and static typing, offering benefits of both paradigms.

### Publications and Impact
Throughout his career, Tobin-Hochstadt has published numerous papers on programming languages and software engineering. His work has been cited extensively in academic literature, indicating its significant impact on the field. He maintains an active presence in the research community through his blog and contributions to open-source projects.

### Teaching and Mentorship
As a faculty member at Indiana University Bloomington, Tobin-Hochstadt has been involved in teaching and mentoring students in computer science. He has supervised at least one Ph.D. student, Andrew M. Kent, contributing to the education and development of the next generation of computer scientists.

### Online Presence
Tobin-Hochstadt maintains an active online presence, with profiles on platforms such as GitHub (username: samth), Twitter (@samth), and LinkedIn. He also maintains a personal website and blog, where he shares insights on programming languages and software engineering.

## References

1. Mathematics Genealogy Project
2. [Source](https://homes.sice.indiana.edu/samth/cv.pdf)
3. GitHub
4. official website