Sign In

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

Shon's Online Presence

  • His GitHub username is shonfeder1
  • His LinkedIn profile can be found at https://ca.linkedin.com/in/shonfeder2
  • He maintains a personal website at http://shonfeder.net34

Related Questions

What projects has Shon Feder worked on at Tarides?
How does Shon Feder integrate philosophy into his software engineering?
What are Shon Feder's main contributions to the Apalache team?
What programming languages does Shon Feder specialize in?
How does Shon Feder's work with Quint contribute to the field of executable specifications?
Shon Feder
Add to my network

Location

Toronto, Ontario, Canada