Ph.D. in Computer | Department of Computer Science, Stony Brook University, |
Science | Stony Brook, N.Y., USA (2011) |
Dissertation : Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics (tabling, the well-founded semantics for TR, defaults and defeasibility, and logic-based complex event processing) . | |
Adviser : Professor Michael Kifer | |
M.Sc. in Computer | Department of Computer Science, Stony Brook University, |
Science | Stony Brook, N.Y., USA (May 2006) |
Survey of Web Services Automatic Negotiation. | |
Overall GPA: 3.90/4.00 | |
Adviser : Professor Michael Kifer | |
M.Eng. in Computer | Department of Computer Science, Technical University of Cluj-Napoca, |
Science | Cluj-Napoca, Romania (June 2003). |
Thesis: A comparative view of parallel systems and algorithms. | |
Overall GPA: 10/10. | |
Adviser : Professor Rodica Potolea | |
B.Eng. | Department of Computer Science, Technical University of Cluj-Napoca, |
(Diplomat Engineer) | Cluj-Napoca, Romania (September 2002). |
in Computer Science | Thesis: Design and Implementation for Arrays, Records, and Sets for Constraint Solving (developed at DaimlerChrysler AG, Research Information and Communication Division, Knowledge-based Engineering Department(RIC/EK), Berlin, Germany, advisers: Dr. Mugur Tatar and Dr. Jakob Mauss). |
Overall GPA: 9.28/10. |
My old web page: http://www3.cs.stonybrook.edu/~pfodor/old_page