luisacicolini Goto Github PK

✨ 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. iMFAnt: automata optimization for faster pattern matching (CGO'24)
3. xohw21-flow-public: finalist project for Xilinx Open Hardware 2021 competition, based on the acceleration of the wavefront alignment algorithm (WFA) on FPGA
4. Joule-Brayton-Turbine-Modeling: MATLAB thermodynamic model of a small turbojet engine
5. super-duper-FORtnight: Python- and AMPL-based heuristic approach to VRT problem
6. Forced-Convection-in-Cooling-Systems-for-Electronic-Components: MATLAB thermodynamic model of a cooling system based on forced convection for small electronic deviced