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.
During the night, I am a Junior Security Researcher at Spearbit. I have participated in the following code reviews:
Through Spearbit
- SudoSwap
- OpenSea Pro
- Axiom Contracts v2
Through Cantina
- thUSD
- Coinbase Base Bridge
Check out my cantina profile!
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!
- 🧫 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
- ZkKloon, at ZK Hack Lisbon
Not Awarded
- PlayProtect, at ETHTokyo
- AskLens, at ETHLisbon
Most used programming languages
Github activity
Feel free to reach out through my socials 😄