Skip to content
View luisacicolini's full-sized avatar
🐢
🐢

Block or report luisacicolini

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
luisacicolini/README.md

Hello, world!

✨ 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.

In brief:

  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

Pinned Loading

  1. necst/iMFAnt necst/iMFAnt Public

    C++ 9