💻   I'm a Software Engineer, with a Computer Science degree. 🔧   I'm most skilled in systems programming and tool development. 🏛️   My work and research experiences include: 🐧   FOSS development and maintenance ⏳   Digital signature timestamping in PKI 🛠   Advanced build and testing infrastructure 🕸️   Formal verification of distributed algorithms 🧬   Simulation of biological computing circuits 📹   Video compression standards 🪫   High-voltage electronic converters 🔭   I also like Cybersecurity and Compilers. 📔   Feel free to check out myrésumé anddev portfolio. 📫   Want to reach* me? TryLinkedIn orTwitter. 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 isCBC54EF64ADF0F590095B06ABD4C56811EC6922D, and it should be available at:

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

PinnedLoading

1. grafgrafPublic

   Plot discretized line charts in your terminal

   F# 1

2. cloxcloxPublic

   Compiler and VM for Lox, a JS-like language

   C 9

3. hxdsphxdspPublic

   Cross-platform FFT in Haxe

   Haxe 9

4. FormallySharpFormallySharpPublic

   Online formal language designer

   F# 3

5. PyCGPyCGPublic

   Forked fromRamAddict/Interactive-Graphical-System

   3D Interactive Graphical System

   Python 1

6. padntpadntPublic

   A Dontpad clone implemented with Spring Boot

   Java 5 2