Research Associate Professor of Computer Science
PhD, Technion Israel Institute of Technology
Concurrent Programming, Aspect-Oriented Software Development, Formal Verification, Embedded Real-Time Systems, Scheduling, Concurrent Languages, and Software Adaptability and Reuse.