go back
Curriculum Vitae
Programming Skills
- C/C++
- Java / J2EE
- ABAP (just starting)
- Web Programming - HTML, JSP, XLST, CSS, JS/Ajax. Experiences with Struts2 and JSF2.
- Assembler.
- Embedded Programming.
Research Interests
- Software Model Checking.
- Multiagent Systems.
- Heuristic Search.
List of Publications.
Hobbies
- Movies, Video Games (playing and developing).
- Kyokushinkai Karate. (I also hold a black belt in Taekwondo)