Shmuel Katz

Computer Science
Technion Israel Institute of Technology
Israel

Biography

Shmuel Katz working at Technion Israel Institute of Technology Shmuel Katz working at Technion Israel Institute of Technology

Research Interest

Program verification; Formal specification methods; Aspect-oriented software development; Distributed systems; Programming methodology; Temporal logic; Partial orders; Programming languages; Software engineering.

Global Experts from Israel

Global Experts in Subject

Share This Profile

Recent Expert Updates

Matthew L Stone
pediatrics
University of Virginia Health System; Charlottesville, VA
United States of America
Dr. Matthew
pediatrics
University of Virginia Health System; Charlottesville, VA
United States of America
Dr. L Stone Matthew
pediatrics
University of Virginia Health System; Charlottesville, VA
United States of America
Dr. L Stone
pediatrics
University of Virginia Health System; Charlottesville, VA
United States of America
Dr. Matthew L Stone
pediatrics
University of Virginia Health System; Charlottesville, VA
United States of America
Dr. R Sameh
pediatrics
King Abdul Aziz University
United Arab Emirates
Dr. R Ismail,
pediatrics
King Abdul Aziz University
United Arab Emirates
Sameh R Ismail,
pediatrics
King Abdul Aziz University
United Arab Emirates
Dr. Sameh R Ismail,
pediatrics
King Abdul Aziz University
United Arab Emirates
Dr. William
pediatrics
Maimonides Medical Center
United States of America