baioc / baioc

✨special ✨ GitHub repository

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Hello, World! 👋

  • 💻   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 my résumé and dev portfolio.
  • 📫   Want to reach* me? Try LinkedIn or Twitter.
    • Or, if I've given you an email address, I prefer that option.
Top Langs

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


FormallyShrp dagger3d

rcme-ICASSP2021-poster antlir re-multif

graf BASIC

Padn't PyCG eris.btree

About

✨special ✨ GitHub repository