pschanely

Status: Active user
Joined: 3 years ago by invitation from yingw787
Karma: 69, averaging 3.14 per story/comment
Stories Submitted: 2, most commonly tagged formalmethods
Comments Posted: 20
Homepage: https://twitter.com/pschanely
GitHub: https://github.com/pschanely
Twitter: @pschanely
About:

Hi! I’m interested in compilers and static analysis. My current big project is a theorem-prover-assisted property tester for python: https://github.com/pschanely/CrossHair

I’m also friendly; send me a message anytime!