Introduction

Hi ! I'm Amelia (she/her), a Computer Scientist from Geneva - Switzerland. I'm currently a Compiler Engineer at SiFive in Berkeley (California), working on the verification features of Chisel and CIRCT.

I'm also an incoming PhD student in Computer Science in the Programming Languages group at Princeton University, advised by Mae Milano. I got my MSc in Computer Science, majoring in Secure and Reliable Systems with a minor in Computer Graphics, from ETH Zurich, and my BSc in Computer Science from EPFL.

In the past, I was a Visiting Researcher at the SLICE Lab in the EECS department at UC Berkeley, where I worked on temporal property synthesis and formal verification, and was advised by Kevin Laeufer. I also had the opportunity to work with Martin Schoeberl as a Research Assistant at the Technical University of Denmark (DTU), where I looked into reimagining UVM for Chisel.

My general research goal is to make it as easy as possible to implement complex systems correctly. In practice, this means that I work on programming language design, verification and automated testing. The fields I am most interested in are hardware verification and concurrent programming.

I am a frequent contributor to both CIRCT and Chisel, mostly working on their respective verification features. I generally only write FOSS code, and I am not interested in contributing to any proprietary/closed-source project.