Personal Information
Organização/Local de trabalho
Braga, Portugal Portugal
Cargo
Lecturer / Software Developer
Setor
Technology / Software / Internet
Sobre
* 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
Marcadores
programming
android
game development
#programming
#mobile
#android
ios
objective-c
gameplay
game genre
game definitions
c
andengine
strongest postcondition
weakest precondition
verification graphs
formal methods
software verification
intents
#programcomprehension
#opensourcesoftware
#comments
#jellybeans
Ver mais
Apresentações
(10)Gostaram
(1)SlideShare Zeitgeist 2013
SlideShare
•
Há 10 anos
Personal Information
Organização/Local de trabalho
Braga, Portugal Portugal
Cargo
Lecturer / Software Developer
Setor
Technology / Software / Internet
Sobre
* 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
Marcadores
programming
android
game development
#programming
#mobile
#android
ios
objective-c
gameplay
game genre
game definitions
c
andengine
strongest postcondition
weakest precondition
verification graphs
formal methods
software verification
intents
#programcomprehension
#opensourcesoftware
#comments
#jellybeans
Ver mais