Michael J. May
Faculty Lecturer
Information
Systems Engineering
School of
Engineering
Kinneret College on
the Sea of Galilee
Office: Third Floor , Triguboff
Sciences
Building
Address: Tzemach Junction, MP
Jordan Valley 15132, Israel
Phone: +972-4-665-3713
Fax: +972-4-665-3661
Email: mjmay -a-t- kinneret
-d-o-t- ac -d-o-t- il
Office Hour: Wednesday
11am-12pm
or by
appointment
Research:
I am interested in ways of applying formal methods to evaluate privacy
and security properties of protocols and policies. My work
includes automated verification of security properties of web service
protocols as well as the development of a language, theory, and tools
for flexible evaluation of a wide variety of privacy policies.
I have been affiliated in the past with Insup Lee's Real Time Systems Group
and Carl A.Gunter's Illinois Security Lab.
I received my Ph.D. from University
of Pennsylvania. My dissertation
and a list of my online publications
is available.
Teaching:
I am currently teaching the following courses at Kinneret College:
Semester 1: (Fall 2009)
Semester 2: (Spring 2010)
Full course information, course slides, and assignemnts are available
via the above links or on the Telem.
Grades
and
solution
sets
are
available
only
on
Telem.
I have taught the following courses in the past at other
institutions:
News and Recent Activities:
Personal:
My alter
ego teaches
in the University of Pennsylvania Dept of Veterinary Medicine.
In my spare
time, I
chair of a
dept of math and computer science (like the collar?),
am an emeritus
professor of management science and engineering, act as an
executive-in-residence
in Babson, write in a
Texan
magazine, give inspirational
speeches, do
surveying
in London,
liked a hair restoration product enough to become a doctor in
it in London
(but not to the detriment of my bustling
ophthalmology and sports
medicine practices) and manage human
resources for a national chain of clinics, sell real estate professionally, do restorations, keep a very dark blog,
enjoy
sitting
in
wood
doorframes and smiling,
maintain a set of photos of my previous life as a fun-loving German photographer in the
Triberg area, act as a
disk jockey for hip hop
parties and weddings,
and
have
theories
on
high
energy. I also believe that any
information on the web should be evaluated critically.
I have come to acquire
great respect for Alice
and
Bob.
Last Modified: 26 Feb 2010
