Amir Tomer holds B.Sc. and M.Sc. in Computer Science from the Technion - Israel Institute of Technology (http://www.cs.technion.ac.il) and Ph.D. in Computing from Imperial College of Science, Technology and Medicine, London, UK (http://doc.ic.ac.uk). Since 1983, has been employed by RAFAEL, Haifa, Israel (http://www.rafael.co.il), currently as a senior software systems engineer. Next year (10/98 - 7/99), during a Sabbatical leave, will visit the Technion, teaching the courses "Object Oriented Programming" and "Programming Languages". Intends also to devote significant time for research. Main area of interest covers the combination of the Logic Programming paradigm (as implemented by the PROLOG language) and the Object Oriented Programming paradigm. One way of combination was suggested in Ph.D. thesis: ''Implementing Specifications using Logic with Inheritance'' where the concept of ConstructiveInheritance was introduced and discussed. mailto:tomera@cs.technion.ac.il ---- CategoryHomePage