About
Welcome!
This is my most recent homepage that comes in the form of a blog. Here you’ll find about my academic interests, academic life and what I’m doing for the moment.
Briefly: I am currently a 3rd year full-time research PhD student at the School of Electronics and Computer Science of the University of Southampton, UK. I am also currently demonstrating for Compiler Engineering (COMP2010), Contemporary Programming Methods (INFO2005), Computer Applications (GENG1008).
I don’t have much free time, but the time I do have free I spend on programming in C++, Haskell or Scheme, reading and playing Playstation3. In my blog you’ll find my usual rants. Be sure to browse my projects also… [list is in need of updates]
As it is traditional in academic webpages, here’s a list of my academic interests:
- SAT Problem and Extensions (SMT, MaxSAT, #SAT…)
- SAT Encodings
- The mathematics behind #SAT
- Functional Programming
And my hobbies:
- Video Games
- Running
- Cycling
- US TV Series
If you wish to contact me, you can do so via:
- Email: pocm at soton dot ac dot uk
- Phone: +44 (0) 23 8059 7684 (Internal Ext. 27684)
- Group Secretary Fax: +44 (0) 23 8059 3045
- Postal Address:
Dependable Systems & Software Engineering Research Group
Mountbatten (bld. 53), Level 4, Room 4033
University of Southampton
School of Electronics and Computer Science
Southampton SO17 1BJ
United Kingdom
