Jon Sterling
@jonsterling
- Country
- United Kingdom
- Rank
- #143
- Profile
- View on GitHub
- Company
- University of Cambridge
- Location
- Cambridge, Cambridgeshire, UK
- Blog/Website
- http://www.jonmsterling.com
- -
- -
- Hireable
- -
- Public Repos
- 238
- Public Gists
- 106
- Account
- User
- Joined GitHub
- Feb 17, 2009 (16 years, 10 months ago)
- Last Updated
- Dec 20, 2025 15:21
Bio
Associate Professor in Logical Foundations and Formal Methods
Followers
798
Following
366
Contributions (last year)
878
Similar Developers
