Stefan Weigl-Bosker

Hi there!

I am a third-year undergraduate student at NYU, where I work with Evan Johnson on software verification. My primary interests are languages, abstractions, and compilers for designing and programming specialized hardware.

I currently work on compilers for dataflow architectures at Efficient.

If you stumbled across my site, feel free to say hi! I’m always happy to meet new people, talk about interesting things, or hear what you’re working on.

You can find most of my work on my github.

Blog Posts