I have an M.Sc. in Computer Science and I’m freshly started on my Ph.D. studies! Also, I’ve been a teaching assistant for a long time now:

I'm mainly interested in software models, model checking and program verification and reliability. I'm currently most interested in generating and providing "good" environmental input to model checkers, allowing for the verification of non-closed systems in a sensible way.

I've also worked on real-time model checking during my M.Sc. thesis research. In that sense, I've worked on Zeus, a well-known distributed real-time model checker.

There's still not much to show here...but as I progress through my work this list should start to grow. For the time being, you can check out my M.Sc. thesis here. It's only available in spanish, though...I don't think I'll ever find the time (or guts) to translate it.