Suggestions
Shon Feder
Senior Software Engineer
Who is Shon Feder?
Shon Feder is a Software Engineer at Tarides, a company based in Toronto, Canada.12 He is a polyglot programmer with a passion for exploring the nature of programming and specializes in functional programming.2
Shon's Background
- Shon approaches his work from the perspectives of programming language theory3
- He is a member of the Informal Systems Apalache team, contributing to the implementation of the type system, build and release engineering, and documentation drafting4
- He has contributed to several repositories on GitHub, including informalsystems/quint, informalsystems/apalache, and XFFS/oopenai1