Experience

QBayLogic

• Netherlands
• Embedded Software Products
• 1 - 100 Employee

• FPGA Engineering Intern

  • May 2022 - Present

  Working with Clash, a version of the Haskell language used for designing circuits. Designing large-scale changes to clash-protocols, an open-source library which provides tools for various chip communication protocols. In particular, working on adding support for AXI4 Stream, Avalon Stream, and Avalon Memory Mapped protocols to the library. Working with Clash, a version of the Haskell language used for designing circuits. Designing large-scale changes to clash-protocols, an open-source library which provides tools for various chip communication protocols. In particular, working on adding support for AXI4 Stream, Avalon Stream, and Avalon Memory Mapped protocols to the library.



Trail of Bits

• United States
• Computer and Network Security
• 1 - 100 Employee

• Functional Programming Intern

  • Dec 2021 - Jan 2022

  Worked on Echidna, an Ethereum smart contract fuzzer written in Haskell. Improved performance by over 6x. Worked on adding HTML output, in addition to the current command-line text output. Wrote a blog post for the Trail of Bits blog, and spoke on the Trail of Bits podcast. Worked on Echidna, an Ethereum smart contract fuzzer written in Haskell. Improved performance by over 6x. Worked on adding HTML output, in addition to the current command-line text output. Wrote a blog post for the Trail of Bits blog, and spoke on the Trail of Bits podcast.



Bloomberg

• United States
• Financial Services
• 700 & Above Employee

• Software Development Intern

  • Feb 2019 - Jun 2019

  Worked with Python, SQL, and other languages to create an application under consideration for use by Bloomberg clients. Worked with both back-end and front-end programming. Used Git and participated in Agile development. Presented my project to coworkers. Gained some experience with machine learning. Worked with Python, SQL, and other languages to create an application under consideration for use by Bloomberg clients. Worked with both back-end and front-end programming. Used Git and participated in Agile development. Presented my project to coworkers. Gained some experience with machine learning.