Registered user since Wed 1 Mar 2017
Shmuel Katz is an Emeritus Professor in the Computer Science Department at the Technion—Israel Institute of Technology. He joined the Technion in 1981, and helped develop and lead the Software Engineering degree track, and directed the Systems and Software Development Lab. His Sabbaticals and extended visits include UC Berkley, Carnegie-Mellon University, University of Lancaster, Technical Institute of Twente, Technical Institute of Tampere, and the University of Texas at Austin.
He has written over 100 journal and conference papers on using formal methods to improve software quality, modularity, and reliability. His early work focused on automatic generation of invariants, multiparty interactions for distributed programming, fault tolerance using self-stabilizing systems, and verifying properties such as database serializability using convenient execution sequences. Since 2000 his work has centered on specification and formal verification for aspect-oriented and event-driven programming. He was Editor-in-Chief of the Transactions on Aspect-Oriented Software Development from 2009-2011.
|Modularity 2017||Formal Verification for Cross-cutting Modularity|
|Show activities from other conferences|
View general profile