Current activities
- Blogger - like to write about Formal Methods, Haskell and music
- Junior Researcher - Minho University
- DB2 Student Ambassador - IBM
- Author of the book “Getting Started with Open Source Development” from IBM “Getting Started” series (still write)
Past projects
See Past projects for more information.
Current projects
Maps of services in a distributed system |
---|
Keywords: Low level Haskell programming, Snort, Wireshark, tshark, Network programming |
Link: Maps of services in a distributed system |
Security proof of cryptographic algorithms with Coq |
---|
Keywords: Coq, Security, Cryptography |
Link: Security proof of cryptographic algorithms with Coq |
Study the Cryptol DSL language |
---|
Keywords: Cryptol, SNOW 3G cipher, formal methods, VHDL |
Link: Study the Cryptol DSL language |