go back
Curriculum Vitae
Programming Skills
- C/C++
- Java / J2EE
- ABAP
- 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).
- Martial Arts
- Kyokushinkai Karate - 2nd Kyu, brown belt
- Teakwondo - 1st Dan, black belt