I have moved to Princeton University as a Postdoctoral Research Associate in the Department of Electrical Engineering. I obtained my PhD in Computer Science from the University of Manchester at the Department of Computer Science under the supervision of Prof. Andrei Voronkov. My adviser was Dr.-Ing. Renate A. Schmidt. I was a member of the Formal Methods Group. My PhD thesis is devoted to a new method of solving systems of linear constraints over the real numbers - the Conflict Resolution method. The method was developed at the department of Computer Science at the University of Manchester together with Prof. Andrei Voronkov and Dr. Konstantin Korovin, in 2009. We presented a paper on our method at the Conference on Principles and Practice of Constraint Programming CP 2009 (Lisbon, Portugal). The paper was twice a prize winning, being awarded:   The Best PhD Paper Award 2009 at the School of Computer Science at the University of Manchester   A Runner-Up as the Best Paper Prize at the CP 2009 Conference