During the day, I am a PhD student at the BioSystems Design team led by Dr. Guillermo Rodrigo, where we do a bunch of weird stuff with synthetic biology, mathematical models, viruses... I mostly do bioinformatics and day-dreaming about crazy new ideas. Most of the code I write (and push to github) comes from this lab work, and therefore everything is closed sourced 🤔. Sorry.
Part of my lab activity resulted in the following contribution:
- Lighdock Protein-RNA docking prediction tutorial; for further details see PR 1.
During the night, I am a Junior Security Researcher at Spearbit. For more information about the security reviews I have participated in, check out my cantina profile:
Part of my activity as a security researcher resulted in the following contribution:
- PR 275 for MINA Protocol's
o1jsbindings.
I am also a mentor and volunteer at Secureum. Secureum's mission is scaling security on the Ethereum ecosystem by acting on Ethereum's "Layer zero": the community, by providing education on smart contract security and best practices.
I am the main contributor and only maintainer of the Secureum GitBook, so feel free to reach out!
Click to expand! (or visit my Google Scholar profile)
- 🧪 Probing the orthogonality and robustness of the mammalian RNA-binding protein Musashi-1 in Escherichia coli
- 🧫 Repurposing the mammalian RNA-binding protein Musashi-1 as an allosteric translation repressor in bacteria
- 🦠 A variant-dependent molecular clock with anomalous diffusion models SARS-CoV-2 evolution in humans
- 🧫 Gene regulation by a protein translation factor at the single-cell level
- 🧪 CRISPR-Mediated Strand Displacement Logic Circuits with Toehold-Free DNA
- 🧬 Nonequilibrium thermodynamics of the RNA-RNA interaction underlying a genetic transposition program
Click to expand!
- Introducción a ZKP: el Esquema de Compromiso KZG (at 🦖DEVFEST UPV 2023🦖)
- A Unified Framework for Formal Verification of Vyper Bytecode using Halmos (at TrustX DevConnect Istanbul 2023)
- Secureum content announcement (at TrustX DevConnect Istanbul 2023)
- A quick insight on Algebra and KZG commitments (online at OpenSensePW)
- The Blockchain Guardians (at ETH Barcelona 2023)
🏆 Awarded
- GetSponsoreth, at Activate x Wormhole Miami
- SmartCow, at ETHBogotá
- Dopb0t, at the First Arbitrum Hackathon Bogotá
- TopMantle, at ETHPorto
- ZyKloon, at ZK Hack Lisbon
- Cryptographic primitives for Mina, at ZK Hack Krakow
Not Awarded
- PlayProtect, at ETHTokyo
- AskLens, at ETHLisbon
Most used programming languages
Github activity
Feel free to reach out through my socials 😄