
MSc Student at Universidade do Minho
Portugal

MSc Student at Universidade do Minho
Portugal
- Software Development (C/C++/C#, Java, Haskell)
- Web Development (PHP, JavaScript, CSS)
- Data Bases (MySQL, Oracle)
- Markup languages (XML, XSD)
(Computer Software industry)
October 2007 — October 2008 (1 year 1 month)
(Computer Software industry)
October 2004 — October 2008 (4 years 1 month)
(Computer Software industry)
October 2006 — October 2007 (1 year 1 month)
MSc , Informatics , 2008 — 2010 (expected)
Specialization in "Formal Methods in Software Engineering" and "Cryptography and Security Systems"
http://www.di.uminho.pt/ensino/mestrados/mestrado-em-informatica
BSc , Informatics Engineering , 2004 — 2008
- Main Courses:
Software Engineering and Design, Advanced Data Structures and Algorithms, Multimedia, Database Management Systems, Functional and Logical Programming, Imperative and Object Oriented Programming, Networking, Telecommunications, Computer Architectures, Operating Systems, Systems Analysis, Discrete Mathematics, Logic and Calculus.
http://lei.di.uminho.pt/
formal methods, cryptography, reverse engineering, mathematics, open source, linux, programming, web programming, java, haskell, movies, music
- 8th place at “X Concurso/Encontro Nacional de Programação em Lógica e Funcional” (10th National Contest/Meeting of Logic and Functional Programming), University of Aveiro, 2007