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.
Mail -- karl@hallsby.com
GitHub -- KarlJoad
LinkedIn -- KarlHallsby