Introduction

Hi ! I'm Amelia (she/her), a Computer Scientist from Geneva - Switzerland. I'm currently a PhD student in Computer Science in the Programming Languages group at Princeton University, advised by Mae Milano. I'm currently working on Hardware Verification, particularly modularizing formal verification, but my general research interests lie in Programming Language Design, particularly data-flowy stuff.
In the past, I was a Compiler Engineer at SiFive in Berkeley (California), working on the verification features of Chisel and CIRCT. 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.

I have also been affiliated to the SLICE Lab in the EECS department at UC Berkeley, where I was a Visiting Student Researcher and worked on temporal property synthesis and formal verification, advised by Kevin Laeufer. I also worked with Martin Schoeberl as a Research Assistant at the Embedded Systems Engineering group at Technical University of Denmark (DTU), where I looked into reimagining UVM for Chisel.

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.