do I do?

OK... the 'cs' in the host name already tells you I'm a computer scientist. But to be more precise, my main interests in this subject are:

  • Hardware / Software Analysis and Verification: Nowadays, almost every tool we use contains some hardware and some software component. Improving those systems in order to make them efficient and reliable is my main goal.

  • Formal Methods: For many reasons (feel free to ask me why), I believe applying formal methods is a good way to implement the first part. In a nutshell, formal methods can be used to prove some systems properties and also to analyze them. However, one main limitation is scalability... and that's what I like to focus on.

  • Compilers: Improving compilers is a second nice way to achieve the first part. Static analysis, early error detection and code optimizations can improve a category of software components.