Hello There! 👋

My name's Derek and I've got a crippling addiction to caffeine, programming, and starting projects I know full well I won't finish 🙂.

---

About Me

• 🎓 Ph.D. Student in Computer Science at University of Hawaiʻi at Mānoa 🌈

• 🎓 B.S. in Computer Science from Rochester Institute of Technology 🐯 `24

• ☕ My Favorite Language is Java, but I've got experience with languages from Python to C. My language todos include:

  • Go
  • Rust 🦀
  • Front End Development

• 🏃‍ My Hobbies include running, hiking, pioneering, and brewing coffee

• 🌱 I’m currently learning more about formal methods and Rust 🦀

• 🔭 Check out what I'm working on here!

• ❗ Fun Fact: My first language was TI-Basic!

  • I'm still ( or at least try to be ) active in the community. You can check out a few of my projects and more here. Turns out you can do a lot with a graphing calculator!

---

Want to Learn More?

• 🌐 Website
• 🟦 LinkedIn
• 📧 Email