Karl Hallsby

A photo of me.

Hi.

I am PhD student at Northwestern University advised by Dr. Peter Dinda. I completed my B.S. and M.S. in Computer Engineering at Illinois Institute of Technology.

I am currently developing hardware for the Village Project which explores automatically lowering high-level parallel languages to potentially heterogenous targets. I also have an interest in hardware/software co-design, formal verification, and microkernels. My expertise lies in computer architecture, systems software design, and hardware/software co-design.

Online, you can typically find me by the handles/usernames KarlJoad or RavenJoad.

I am a GNU Emacs user, and my dotfiles can be found here. I currently use GNU Guix to manage everything about my systems (Including this website!). My configurations are available as a guix channel/git repository named synnax.

You can find the source for this website here.

For further exploration of my work, please see my GitHub.

Contact.

Mail -- karl@hallsby.com

GitHub -- KarlJoad

LinkedIn -- KarlHallsby