Ulisses Araújo Costa

image
let blog = cycle post

Short Bio

I am Ulisses Araújo Costa - اُلِيسّْش - 奧利斯　哥斯達, I’m 23 years old and I’m at 1st year of my Master’s degree in Formal Methods and Cryptography and Security of Information Systems at University of Minho. I have a BSc in Computer Science Engineering in the same University. I live in Póvoa de Varzim, Portugal. Formal Methods and Cryptography are really two of my big passions in Computer Sciences. At the moment I’m IBM DB2 Student Ambassador were I’m learning a lot of DB2, pureXML, XPath, XQuery and a lot of other technologies, at this group I’m also participating in different activities.

I’m also Vice President of CAOS (Open Source Support Center), that’s a non profit organization that support developing of Open Source in University of Minho. I’m a computer science lover, I like to know how things work from inside. You can see a list of some of my projects here. You can find my CV-style information here.

Cool sites

Humour

Ulisses Araújo Costa $\rightarrow$ Projects $\rightarrow$ Study the Cryptol DSL language

Study the Cryptol DSL language

Authors: Ulisses Araújo Costa, [Pedro Pereira][pp]

This project is included in my Msc in Formal Methods. The idea is to learn programming in Cryptol, understand what Cryptol do to generate C code and learn how to generate the fastest C code we can get from Cryptol tools. Our job is implement the cipher SNOW 3G in Cryptol and using this to all the work related to Cryptol.

More information: Cryptol the language of cryptography, 1st millestone presentation

© 2005–2009 Ulisses Araújo Costa