benI4132
benI4132's profile header
benI4132

@benI4132@mastodon.social

FPGA/ASIC Digital Designer
Also interested in compilers, formal proofs, and software defined radio.

April 30, 2022

I am delighted to announce that I'll be joining MIT as a tenure-track assistant professor in the 2025-26 academic year!

MIT has an incredible history of connecting programming languages with computer architecture and I could not imagine a better place to pursue my work!

Very broadly, I'm excited to continue building real systems that democratize the design and use of specialized hardware! There are tons of challenges and opportunities in the space that can only be addressed with a full-stack view of the problem: rachit.pl

There are tons of more details to come but the really important one is this: I am recruiting PhD students THIS FALL!

if you're excited to build awesome languages, compilers, and tools for high-performance hardware, come build awesome stuff with me at MIT!!

End of the list

Elk Logo

Welcome to Elk!

Elk is a nimble Mastodon web client. You can login to your Mastodon account and use it to interact with the fediverse.

Expect some bugs and missing features here and there. Elk is Open Source and we're actively improving it as a community project. Join us and let's build it together!

If you'd like to report a bug, help us testing, give feedback, or contribute, reach out to us on GitHub and get involved.

To boost development, you can sponsor the Team through GitHub Sponsors. We hope you enjoy Elk!

Anthony Fu三咲智子 Kevin DengPatakDaniel RoeJoaquín SánchezTAKAHASHI Shuuji

The Elk Team