This is the beta release of the new service. Please let us know if you find any problems. Send your help requests here: Contact us
Personal Information

Adriana Sucena Santos

Computers, Software

  • E2 8RS London (United Kingdom (Great Britain))

Nationality: Portuguese

Work Experiences
01/2011 - Present

Software Developer

Mimecast - London, UK

Email Management System

Probation period (Jan 2011 - April 2011): Working on the client-side with Java, GWT, Tomcat, Maven, JSON and Selenium.
From April 2011 until now: iOS development. Developing iPhone and iPad applications.

01/09/2008 - 31/12/2010

Software Developer

Danske Bank - Aarhus, Denmark


September 2008 - November 2009: Developing web-based functionalities for \"Business Online\" (corporate e-banking system).
Used tools/programming languages: PL/1, javascript, SQL, Visual Studio, IBM z/OS (IBM DB2, CATS, Endevor, etc.), HP Quality Center, IBM RSM and a change configuration system.

November 2009 - December 2010: Working in the Business Intelligence Systems department.
Used tools/programming languages: Microsoft SQL Server 2000 (DTS packages), 2005 and 2008, Microsoft SSAS (Analysis Manager and MDX Sample Application), Microsoft Visio, Excel, VBA, VBScript, MDX, T-SQL, IBM z/OS and Visual Studio.

10/2007 - 03/2008

Software Developer

Callis - Aarhus, Denmark

Computing Science

Development of web-based applications using XML, XSD, XSL, CSS and HTML.

Education and Training
01/10/2007 - 21/07/2008

2nd and final year of MSc in Computing Science degree

Engineering College of Aarhus

17 (scale from 1 to 20)

Thesis theme: VDM++ Test Automation Support for Overture

Coordinator: Professor Peter Gorm Larsen, Engineering College of Aarhus
Co-coordinator: Luís Soares Barbosa, University of Minho

The development of this project was in the following subjects:
- Formal Methods
- Tool Support
- Software Modelling
- Object-Oriented Paradigm
- Problem Solving
- Software Development

- VDM++
- Eclipse
- Byaccj
- Jflex
- Java

01/2007 - 07/2007

2nd term of the 1st year in MSc Computing Science

Universidade do Minho


- Bioinformatics
- Statistics
- Formal Methods
- Numerical Analysis

09/2006 - 01/2007

1st term of the 1st year in MSc Computing Science

University of Aberdeen - U.K. (ERASMUS)


- Artificial Intelligence
- Database Management Systems
- Formal Methods
- Web Design & Administration

09/2003 - 07/2006

BSc in Computing Science

Universidade do Minho

- Programming Paradigms (Functional, Imperative and Declarative)
- Computers Architectures
- Numerical Analysis
- Algebra
- Probabilities
- Theory and Formal Methods
- Computer Communications and Networks
- Logic
- Language Processing
- Compilers
- Mathematical analysis and calculus
- Operating Systems
- Algorithms and Complexity
- Automata and Turing Machines
- Concurrent Systems
- Computational Mathematics

09/2000 - 07/2003

High School

Escola Secundária Garcia de Orta (Oporto) – High School


General Grouping – Sciences

Personal Skills
Mother tongue(s)
Other language(s)
  • English
  • French
  • Spanish
  • Danish
Personal skills and competences
- Team work: professional, cooperative, organised, open-minded.
- Self-awareness: honest, objective, realistic.
- Willing to learn: motivated, adaptable, inquisitive.
- Results-orientated, practical, logical, detailed.
- Self-committed: dedicated, conscientious, punctual.
Communication skills
- Federated in Chess
- 3rd place in the Chess Feminine National Championship under 16
- 3rd place in the Chess Feminine National Championship under 20
- One of the members in the National Youth Selection of chess, in Portugal, in the past
- Some other titles in chess
- Federated in Gymnastics
- Federated in Volleyball
- Swimming course during 5 years
- Frequency of the Young Learners 3 and 4 courses in English, in the British Council
- Frequency of an English course in University of Minho, in the highest level
Organisational / managerial skills

- From September 2007 to May 2008: Formal Methods Europe Small Project Repository for Formal Methods Tools.
- Construction of a website for \"Grupo de Estudos de Matemática e Ciências da Computação\".
- Construction of a plugin for AIBench, to deal with dna microarray data stratification.
- HaPNML: a Haskell tool to manipulate petri net markup languages. This tool converts any Petri Net into a generic Petri Net.
- Modelling a FileSystem formal specification using Alloy

Organisational skills:

- Representative of the Computing Science students in Minho from the first to the third year of the program;
- Participation in a LaTeX course occurred in the Informatics Department of University of Minho (2005);
Participation in JOIN06. It\'s an event about informatics organized by the Universidade do Minho;
- Vice–President of the Executive Board of “Grupo de Estudos de Matemática e Ciências de Computação (2006/2007); an association of Mathematics and Computer Science students;
- Member of the organizing committee of “ETAPS” (2007)
Computer skills and competences
Broad knowledge of several programming languages: Java, Haskell, JESS (Java Expert System Shell), SQL, T-SQL, XML, XSD, XSL, Javascript.

Proficient knowledge in programming languages: C, Prolog

Broad knowledge of specification/modeling languages: VDM++, VDM-SL.

Basic knowledge of specification/modeling languages: Alloy.

Broad knowledge of Internet technologies: Html, CSS.

Broad knowledge of several technologies: LaTeX, Lex/JFlex, Yacc/BYaccJ.

Proficient user in version control tools: SVN.

Proficient user in content management system: Plone.

Proficient user in the software testing tool: Mercury Quality Center.

Broad knowledge of several development tools: Microsoft SQL Server 2000/2005/2008, Microsoft SSAS, Eclipse, Bluej, AIBench, MySQL, MatLab, Oxygen, Mathematica, RadRails.

Basic knowledge in development tools: IBM DB2, IBM RDz (Rational Development for System Z).

Basic knowledge on programming languages: PHP, Ruby, Enterprise PL/1 for z/OS, Cobol.

Basic knowledge of several tools: PostgreSQL, Ruby on Rails.

Basic user on Internet frameworks: Ruby on Rails.

Basic knowledge of the organizational development model CMMI (Capability Maturity Model Integration).

Broad knowledge in Unix/Linux operating Systems.
Basic knowledge in IBM z/OS operating System.
Proficient user in MS Windows operating systems.

Broad understanding of most software packages.
Broad knowledge in software modeling and problem solving.
Broad knowledge of database design principles.
Formal methods user and developer.
Artistic skills and competences
Organ student in Yamaha Music Academy and in the Technics Music Academy during approximately 6 years
Driving licence
Holder of a Portuguese drivers licence. Category B vehicle.
Additional information

28/07/2011 23:22:38 7652 3020