Personal Information
Adriana Sucena Santos
Computers, Software
-
E2 8RS London (United Kingdom (Great Britain))
Nationality: Portuguese
adrianasucena@gmail.com
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
Bank
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.
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
Technologies:
- VDM++
- Eclipse
- Byaccj
- Jflex
- Java
01/2007 -
07/2007
2nd term of the 1st year in MSc Computing Science
Universidade do Minho
14.4/20
- 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)
15/20
- 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
16/20
General Grouping – Sciences
Other language(s)
|
|
Listening |
Reading |
Spoken interaction |
Spoken production |
|
|
|
English |
C1 |
C1 |
C1 |
C1 |
C1 |
|
|
|
French |
A2 |
A2 |
A2 |
A2 |
A1 |
|
|
|
|
B2 |
B2 |
|
|
|
|
|
|
Spanish |
B1 |
B1 |
|
|
|
|
|
|
Danish |
B1 |
B2 |
B1 |
B1 |
B1 |
|
|
|
- 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
Projects:
- 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.
28/07/2011 23:22:38
8130 3343