• Formal Languages Theory
• Formal Specifications
• Petri Nets Theory
• System Modelling and Simulation

• Generally logic, automata, formal verification and analysis of computing systems. More specifically:
• Efficient algorithms for finite automata
• Verification of pointer programs
• Verification of string manipulating programs
• Verification of parallel systems
• Decision procedures for logics (related to the above points)

Here is my DBLP.

• Formal verification and program analysis

• Formal Analysis and Verification

• Modelling and Simulation
• Program Verification (Abstract interpretation,  ...)
• Object-oriented programming, Design patterns
• C and C++ programming languages

• Testos - Test Tool Set
• HADES - Hazard detection system (for microprocessors)
• CDCreloaded - A framework for formal verification of clock-domain-crossing.
• fast2armc - FAST to ARMC translator
• vhd2ca - VHDL translator to counter automata