Ulisses Costa

Current

Junior Researcher at Universidade do Minho
DB2 Ambassador at IBM

Past

Vice President at Open Source Support Center (CAOS)
Microsoft Student Partner at Microsoft

Education

Universidade do Minho
Universidade do Minho

Recommended

5 people have recommended Ulisses

Connections

72 connections

Industry

Computer Software

Websites

Ulisses Costa’s Summary

- Linux user and administrator.
- Application Developer, with lots of experience in C, Haskell and OO Languages.

- Cryptography and Security
Strong theoretical knowledge. Algorithms, HoneyPots, HoneyNets, Cryptol

- Individual notations, methods and tools
Alloy Analyzer, JML, JMLUnit, JUnit, Z, VDM Tools, Spec#, Frama-C, Coq, Splint

Ulisses Costa’s Specialties:

- Main Subjects:
Cryptography, Software Development and Formal Methods. Testing, Proving.

- Skills
Haskell, C, Prolog, Java, Ruby, HTML, CSS, JavaScript, Assembly, GraphViz, WYSIWYG layout tools, LaTeX, UML (VisualParadigm), Oracle, XML, PureXML, XPath, XQuery, DB2, OpenGL, Yacc/Lex, ANTLR, Java Concurrency

Ulisses Costa’s Experience

Junior Researcher

Universidade do Minho

(Educational Institution; Higher Education industry)

November 2008 — Present (9 months)

Making research with Network intrusion detection systems, more precisely with Snort. My work here is to create a tool to analyze traffic in a distributed system. I am using Haskell and C to make network programming with that tools.
DB2 Ambassador

IBM

(Public Company; IBM; Information Technology and Services industry)

February 2008 — Present (1 year 6 months)

DB2 ambassador at the Minho University, Portugal. In this group I have learned a lot about DB2, pureXML, XPath and XQuery. I'm also one of the translators of the book "Getting Started with DB2 Express-C" to Portuguese. Nowadays I am starting to write a book about Open Source and DB2.
Vice President

Open Source Support Center (CAOS)

(Privately Held; Media Production industry)

October 2007 — September 2008 (1 year)

CAOS is a group of computer programming and system administrating lovers. It is a non profit organization that give support to computer systems in University of Minho. find more information here: http://caos.di.uminho.pt
Microsoft Student Partner

Microsoft

(Public Company; MSFT; Computer Software industry)

September 2007 — August 2008 (1 year)

While Microsoft Student Partner I have learned XNA, a framework to make games, and a bit of .NET.

Ulisses Costa’s Education

Universidade do Minho

MSc , Formal Methods, Cryptography , 2008 — 2010 (expected)
Universidade do Minho

BSc , Computer Engineering , 2004 — 2008

- Main courses:
Software Engineering and Design, Multimedia, Database Management Systems, Networking, Telecommunications, Computer Architecture, Operating Systems, Cryptography, Systems Analysis, Maths, Physics, Electronics and Economics

- Long experience with LaTeX and beamer LaTeX class

Activities and Societies:

DB2 Student Ambassador at the IBM's DB2 Students Group, Microsoft Student Partner at Microsoft