Hello, World! 👋

💻   I'm a Software Engineer / Computer Scientist. 🔧   I'm most skilled in systems programming and tool development. 🏛️   My work and research experiences include: 🐧   FOSS development and maintenance ⏳   Digital signature timestamping for PKI 🕸️   Formal verification of distributed algorithms 🧬   Simulation of biological computing circuits 📹   Video compression algorithm optimization 🔭   I also like Cybersecurity and Compilers. 📔   Feel free to check out my résumé and portfolio. 📫   Want to reach* me? Try LinkedIn or Twitter. Or, if I've given you an email address, I prefer that option.

---

* For security-sensitive communications, please encrypt your messages with my public PGP key.
Its fingerprint is CBC54EF64ADF0F590095B06ABD4C56811EC6922D, and it should be available at:

• My own website (download link)
• GitHub (can be viewed in a browser)
• keys.openpgp.org (search for fingerprint)

---