--- layout: about title: About permalink: / description: An explorer of high-level computation in a low-level fashion profile: align: right image: Hallsby_Karl.png # address: > #

555 your office number

#

123 your address street

#

Your City, State 12345

news: false # includes a list of news items selected_papers: false # includes a list of papers marked as "selected={true}" social: true # includes social icons at the bottom of the page --- I am Karl Hallsby, and am currently a student at [Illinois Institute of Technology](https://iit.edu).
Online, you can typically find me by the handle/username `KarlJoad`. I am a responsible, independent self-starter, who is quick-learning, and goal-oriented. Currently a Masters degree-seeking student with knowledge of computer hardware and software design, and experience in leading projects in a multinational corporation. I have expertise in digital hardware design, software engineering, and system security. I am a [GNU Emacs](https://www.gnu.org/software/emacs/) user, and my dotfiles can be found [here](https://github.com/KarlJoad/Emacs_Dotfiles). I also use [NixOS](https:nixos.org), my dotfiles for various machines are [here](https://github.com/KarlJoad/NixOS_Dotfiles). To manage my home directory's dotfiles, I use [home-manager](https://github.com/nix-community/home-manager), whose dotfiles can be found [here](https://github.com/KarlJoad/Dotfiles-hm). You can find the source for this website [here](https://git.karl.hallsby.com/?p=website.git;a=summary). As a developer, I am proficient in: * [C](https://en.wikipedia.org/wiki/C_(programming_language)) * [MC68k Assembly](https://en.wikipedia.org/wiki/Motorola_68000) * [MIPS](https://en.wikipedia.org/wiki/MIPS_architecture) * [Java](https://www.java.com/en/) * [Python 3](https://www.python.org/) * [Haskell](https://www.haskell.org/) * [Git](https://git-scm.com) * [Linux](https://www.kernel.org/linux.html) * [$$\LaTeX$$](https://www.latex-project.org/) For further exploration of my work, please see [my GitHub](https://github.com/KarlJoad).