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 |
