gabulhas / trashdex

My from scratch implementation of a Liquidity Pool Dex in Solidity.

Cliché "About Me" thing

I'm a MSc Computer Science student from the University of Beira Interior, Portugal, with a keen interest in Blockchain, Distributed Systems, and Functional Programming.

Recently interned at Nethermind, diving deep into Blockchain Consensus Protocols and Layer 2s.

🎓 Education

• BSc and MSc in Computer Science from the University of Beira Interior

💼 Work Experience

• Intern, Nethermind (June 2023 - August 2023)
  • Teams: Starknet.go
• Junior Researcher, Release Lab, University of Beira Interior (Sep 2022 - Present)
  • Master’s Thesis Research with a focus on Blockchain Consensus Algorithms
• Freelancer Software Developer (Oct 2019 - Present)
  • Delivered various software solutions including management tools, bots, and database management

🛠️ Languages (not in any particular order)

Go, OCaml, Rust, Elixir, Solidity, Python, C, Java, JavaScript, Bash, SQL, HTML, CSS, X86_64 ASM, and much more (Why get do we care about specific languages when the real skill is in the art of programming itself?)

📦 Relevant Repos

• Thesis: My written thesis on ways and tools to live test Blockchain Consensus Protocol.

• Tezos PoW, PoA and Live Testing Tool: Implementation of the Proof of Work and Proof of Authority Blockchain Consensus protocols, alongside a Protocol Bootstrapper and Live Tester for Tezos Blockchain Node - a significant part of my Master Degree Research.

• Arrow Distributed Directory Protocol: A robust implementation of the Arrow Distributed Directory Protocol enabling Queued Mutually Exclusive Access to shared objects in a Graph network. Also includes a live visualization of the network. Explore the original article for a deeper understanding.

• Garbage Lisp: Discover the power of Lisp with Garbage Lisp, a Turing complete Lisp Implementation crafted in Go.

• Pascal Compiler: Traverse the journey from Pascal to X86 with this compiler, coded in OCaml.

• Advent of Code solutions: Solutions for the Advent of Code in programming languages selected at random.

• Key Value Database: Your typical Key Value Database that writes to disk. Built in C with BTrees.

• CFL: Golang Concurrent and Functional Library. Implementation of your typical Functional stuff with a touch of concurrency!

📚 Projects

• Research on Blockchain Consensus Algorithms (Master's Thesis, 2023)
  • Implementation of a new protocol/consensus algorithm for the Tezos Blockchain.
  • Implementaiton of tools to develop and test consensus protocols in real scenarios.
• Pascal Compiler (2022)
  • Developed a Pascal Compiler generating x86_64 assembly code
• Research on Distributed Algorithms (Bachelor's Thesis, 2021)
  • Implementation and visualization of the Arrow Distributed Directory Protocol in Go

🌐 Find me on

• GitHub
• GitLab
• LinkedIn
• Personal Blog Btw lol

🏆 Achievements

• Solana Breakpoint Conference 2023: Received Student Fellowship Ticket Again!
• SWERC 2023: South Eastern Europe Programming Competition
• Solana Breakpoint Conference 2022: Received Student Fellowship Ticket
• MIUP 2022: National Programming Competition

🎣 Hobbies

• Fishing, Beekeeping, Farming, Cycling, solving the Rubik's cube, and Drinking. Basically touching grass.