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.