✨ Luisa, 25yo, Compilers and Formal Languages enthusiast. I also enjoy logics, a lot.

✨ Sometimes singer and art lover - fascinated by creativity in all its shapes

✨ Computer Science and Engineering graduate at Politecnico di Milano, Research Assistant at the University of Cambridge.

1. FSM Dialect: working within the CIRCT project to exploit the FSM dialect for verification
2. xDSL: I contributed to the xDSL open-source project
3. iMFAnt: automata optimization for faster pattern matching (CGO'24)
4. GrCUDA: I contributed to the GrCUDA open-source project
5. xohw21-flow-public: finalist project for Xilinx Open Hardware 2021 competition, based on the acceleration of the wavefront alignment algorithm (WFA) on FPGA (ISCAS'22)
6. Joule-Brayton-Turbine-Modeling: MATLAB thermodynamic model of a small turbojet engine
7. super-duper-FORtnight: Python- and AMPL-based heuristic approach to VRT problem
8. Forced-Convection-in-Cooling-Systems-for-Electronic-Components: MATLAB thermodynamic model of a cooling system based on forced convection for small electronic deviced