Learning math as a hobby. Into Machine Learning and Quantum Computing. ©

“To iterate is human, to recurse divine.” - L. Peter Deutsch ©

Studying Master of Computer Science. Werk Student at Funkhaus Creative. ©

Strategies to Write a Personal Post ©

[email protected] ©

I pursued my Ph.D. at Trinity College Dublin, under the supervision of Prof. Matthew Hennessy. During my Ph.D. my research focused on the application of process algebras to broadcasting distributed systems, with a particular emphasis on wireless networks and probabilistic systems. Since June 2013 I am a postdoctoral researcher at the IMDEA Software Institute, in the Architecture Driven Verification project, led by Dr. Alexey Gotsman. Here my research focuses on the verification of higher-order concurrent programs, and on the mathematical foundations of distributed database systems. ©

Aspiring machine learning engineer ©