User:Ade1982

Hi, I am Adrian and I have finally decided to give myself a home page!

I am Welsh, from a town called Merthyr Tydfil and have been around for 24 years. I currently hold two Masters degrees in Computer Science - one being an Master of Engineering from the University of Wales, Swansea, and also I am completing a Master of Philosophy at the University of Manchester, where I am currently a student. My thesis is concerned with real-time systems and developing techniques for their compositional model checking.

Currently, an advisor in the school of Computer Science.