I'm a scientist at heart with a love for tech. After graduating from Physics, I enrolled in a Masters in Informatics Engineering where I specialized in Formal Methods and further developed my analytical skills and Mathematical toolset.
I have been involved in research projects because my main motivation is to bring innovative ideas to life.
I like clever stuff so I try to make clever stuff as well. Python is the programming language I use the most. I have built scientific projects with the NumPy and SciPy packages as well as web apps using Django.
At the moment, I am between projects and looking for new challenges.
Master's Degree, Informatics Engineering @ Universidade do Minho From 2013 to 2016 Logical Foundations of Cyber-Physical Systems @ Universidade do Minho From 2014 to 2014 Bachelor's Degree, Physics @ Universidade do Porto From 2010 to 2013 Ana Carvalho is skilled in: Python, Problem Solving, Teamwork, Programming, English, Discrete Mathematics, LaTeX, HTML, JavaScript, Computer Science, Calculus, program verification, Elliptic Curve Cryptography, Alloy, User Experience