introducing myself: Alessio Proietti, Rome, Italy

Stream: new members

[Alessio P.]

Hello everyone, Alessio Proietti here from Rome, Italy. I am going to graduate soon with a master's thesis on computer aided cryptanalysis (mostly MILP / SAT modeling). My other scientific interest is verified cryptographic software and hardware so I found Coq, F* and Lean perfect for the job... looking forward Computer-verified proofs: 48 hours in Rome (24-26 January 2024). Anyone else here will attend?

[Riccardo Brasca]

Hi! Are you subscribed to the conference stream?

[Alessio P.]

Hi! Yes, I asked O. Butterley to invite me and I am subscribed now.