Ulisses Costa

Username UlissesCosta
Follow

Name Ulisses Costa
- Location Porto, Portugal
Work Student at Univ. Minho
Website caos.di.uminho.pt/~ulisses/blog/
Joined May 08
Presentations 13, Documents 0
Following 4, Followers 2

Following (4)

beamer checking code cryptography cryptol cs cssi di formal haskell latex linux lip methods mfes msc portugal presentation programming proof research snort software splint tool uminho View all

Groups (0)

No groups yet

Events (0)

No events yet

Presentations (13)

View all

Cryptol experience 3 months ago, 127 views
Correct sorting with Frama-C 4 months ago, 323 views, 2 comments
The Cryptol Epilogue: Swift and… 4 months ago, 170 views
Splint the C code static checker 5 months ago, 562 views

Documents (0)

No documents yet

Latest Activity

Favorites (2)

From Javascript To Haskell from ujihisa 2 years ago, 3102 views
BayFP: Concurrent and Multicore… from bos31337 2 years ago, 4284 views, 15 comments

Latest from people Ulisses Costa follows

GLOBS Workshop @ SAPO Codebits … from nunoveloso18 8 months ago, 271 views
MyAmbrosio.net from tiagocarvalho 2 years ago, 78 views
Drupal Tutorial: translate the … from nunoveloso18 2 years ago, 749 views
Information Retrieval using the… from dscape 2 years ago, 1016 views