Graduated from Arizona State University with a B.S. in mathematics and a minor in philosophy. Incoming UIowa CS PhD student, with an interest in formalizing mathematics and developing proof assistants.
0 Posts
1 Comment
Joined 1 year ago
Cake day: June 3rd, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
@jaror Not sure if this is directly related to circular programs, but you may be interested in Aaron Stump’s work on DCS: https://gitlab.com/astump97/dcs/-/blob/main/talks/upenn-fall2023/upenn-talk.pdf?ref_type=heads