I am a PhD student in the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where I work with the Programming Languages and Software Engineering (PLSE) group. Click here for more info. I do research in AI (abstract interpretation).
My main interests lie in software tooling and programmer productivity. I enjoy tackling problems that programmers face in practice in their day-to-day work. I've also gotten my feet wet in industry, ranging from small startups with 4 backend developers, to behemoths like @twitter.
Before all that, I earned my Master's degree in Computer Science at @ubc, where my thesis explored how developers investigate data-flow reachability questions.
#lang racket
(define (sbc s)
(local [(define (zip s)
(for/list ([c s]
[i (build-list (string-length s) add1)])
`(,i ,(string c))))
(define (upcase-evens lop)
(for/list ([p lop])
(match p
[`(,i ,c) (if (not (odd? i))
(string-upcase c)
c)])))]
(apply string-append ((compose upcase-evens zip) s))))
(sbc "hello, world!")