Martina Camaioni

Martina Camaioni is a Doctoral Assistant and PhD student at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Verification and Computer Architecture Lab (VCA) within the School of Computer and Communication Sciences (IC). She is enrolled in the Doctoral Program in Computer and Communication Sciences (EDIC) and holds a staff position as a Doctoral Assistant, indicating active involvement in research and academic support.

Her research interests are centered on computer architecture and formal verification, focusing on the design and validation of reliable and efficient digital systems. These areas are critical in advancing hardware correctness and performance, particularly in safety-critical applications.

The available information does not include recent publications, but her lab affiliation suggests ongoing work in hardware verification, architectural modeling, and system validation techniques.

• Scientific Awards: No awards listed.

Martina Camaioni is actively engaged in her doctoral research and contributes to the academic mission of EPFL through her role in the VCA lab. While no advising or grant information is available, her dual status as a student and research assistant reflects her integral role in the research ecosystem. She works within the Verification and Computer Architecture Lab (VCA), a research group focused on advancing methodologies for reliable computing systems.