Carlos Miguel Correia da Costa
Porto Area, Portugal
Researcher at INESC
Computer Software
Education
Faculdade de Engenharia da Universidade do Porto 2009 — 2015
Master's degree, Informatics and Computing Engineering
Code School 2013 — 2013
Web development
Escola Secundária de Paços de Ferreira 2006 — 2009
High School, Sciences and Technologies, 18.5 / 20
Experience
INESC Technology and Science - Associate Laboratory coordinated by INESC Porto February 2014 - Present
Faculty of Engineering, University of Porto September 2009 - March 2015
Skills
Cluster Computing, Artificial Neural..., Scrum, Artificial Intelligence, Scheme, NetBeans, PHP, Software engineering, Software Architectural..., Windows software..., Alloy, Jadex, Test Driven Development, C/C++ STL, C#, Object Oriented Design, Extreme Programming, Subversion, OpenMP, TSP/PSP, Prolog, Python, JavaScript, Java, VDM, OpenACC, Software Design Patterns, Visual Studio, Software security, SQL, Computer Vision, HTML 5, IntelliJ IDEA, Redmine, OpenMPI, CSS3, Ruby on Rails, Agile Project Management, Linux software..., Android Development, Sparx Enterprise..., OpenGL, Git, Augmented Reality, Eclipse, RubyMine, Robotics, Critical Systems..., XML, jQuery