Loading...
Loading...
Assistant professor at Tufts University; programming languages, formal methods, compilers
21 day streak.
Coding for 15 years.
1092 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Starred martonbognar/kuifje
February 3rd, 2026 6:36 PM
Starred sharkdp/hyperfine
February 3rd, 2026 5:06 AM
Starred ksenxx/kiss_ai
January 30th, 2026 6:04 PM
Starred zakirullin/cognitive-load
January 28th, 2026 8:17 PM
DeleteEvent on Generative-Program-Analysis/GenSym
January 26th, 2026 10:34 PM
DeleteEvent on Generative-Program-Analysis/GenSym
January 26th, 2026 10:34 PM
DeleteEvent on Generative-Program-Analysis/GenSym
January 26th, 2026 10:34 PM
DeleteEvent on Generative-Program-Analysis/GenSym
January 26th, 2026 10:34 PM
DeleteEvent on Generative-Program-Analysis/GenSym
January 26th, 2026 10:34 PM
Starred leanprover/cslib
January 22nd, 2026 6:44 PM