mathy-philosopher @jmw150@scholar.social
- Background
- Logic, Mathematics, Computer Science
- Hobbies
- Philosophy, Programming, Video Games
I am a logician, and programming language researcher.
My specific focus right now is program synthesis. This overlaps with the PL community (POPL/PLDI/OOPSLA), Formal Methods community (CAV/TACAS) and ML community (NeurIPS/ICML/ICLR).
Joined Oct 2021
There is nothing here!
- Background
- Logic, Mathematics, Computer Science
- Hobbies
- Philosophy, Programming, Video Games
I am a logician, and programming language researcher.
My specific focus right now is program synthesis. This overlaps with the PL community (POPL/PLDI/OOPSLA), Formal Methods community (CAV/TACAS) and ML community (NeurIPS/ICML/ICLR).
Joined Oct 2021
