news    views    podcast    learn    |    about    contribute     republish    

Luca Arnaboldi


guest author


Luca has recently finished his PhD thesis at Newcastle University. His research focused on improving explainability and adaptability of intrusion detection by using formal models, with specific focus on constrained IoT deployments. His main research interests lie at the intersection of formal verification, security and AI; however, he is always willing to dabble in new areas such as financial machine learning and protocol verification.



Recent posts:



    -


    -


More posts by Luca Arnaboldi..