Simone Ferrini
sferrini
Security Researcher.
Interested in RE, fuzzing, hardware and low-level binary stuff.
Occasional CTF player.
Undisclosed EL2
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Nicola Corti
cortinico
React Native for Android ⚛️ | Android GDE 💚 | Maintainer of @detekt, @ChuckerTeam, @AppIntro 🐧 | Host https://thebakery.dev 🥐 | He/Him 🏳️🌈 【ツ】
@facebook London, UK
Carmelo Mordini
carmelom
Ion traps for quantum computing ⚛️
Postdoc at TIQI - ETH Zurich
@tiqi-group
Ricercatore at the University of Padua
Developing ion traps at @ZuriQ
ZuriQ AG