
Organization / Workplace
Instituto Politécnico do Cávado do Ave / CheckmarxLocation
Braga, Portugal PortugalOccupation
Lecturer / Software DeveloperIndustry
Technology / Software / Internet
About
* Programming Languages * Source Code Analysis * Language Processing * Compilers * Formal Methods * Formal Verification * ASP.NET, C#, (X)HTML, CSS, SQL, Java, PHP, XSL, C, C++. Groovy, Javascript, Ruby, Python, VB, VB.net