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 and System group at Princeton University (Princeton SNS), advised by Mae Milano. My work is at the intersection of Programming Languages and Computer Architecture, where I focus on designing novel languages and paradigms for hardware-software co-design and verification.

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. Before that, I worked with Martin Schoeberl as a Research Assistant in the Embedded Systems Engineering group at the 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 always interested in learning about other cool FOSS projects! I also have a love for video games, and have developped a few FOSS games, some of which are available on itch.io.