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 c++ code cryptography cryptol di formal frama-c haskell jml latex ldap linux lip methods mfes msc network presentation programming research software static tool tools uminho View all

Groups (0)

No groups yet

Events (0)

No events yet

Presentations (13)

View all

Cryptol experience 4 months ago, 148 views
Correct sorting with Frama-C 4 months ago, 368 views, 2 comments
The Cryptol Epilogue: Swift and… 5 months ago, 181 views
Splint the C code static checker 6 months ago, 604 views

Documents (0)

No documents yet

Latest Activity

Favorites (2)

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

Latest from people Ulisses Costa follows

GLOBS Workshop @ SAPO Codebits … from nunoveloso18 9 months ago, 281 views
MyAmbrosio.net from tiagocarvalho 2 years ago, 90 views
Drupal Tutorial: translate the … from nunoveloso18 2 years ago, 797 views
Information Retrieval using the… from dscape 2 years ago, 1054 views