Hi,
I’m a software developer / educator from Trento, Italy
Coming from a scientific background and being sick of poorly written software, I quite like the Cardano approach paper -> specs -> haskell implementation, would love to see at least some semi-formal methods / good testing put into practice in the cryptospace. I’m looking forward to write my first smart contract in Plutus language 
Cheers,
David