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: 12:30 - 1:30pm
on Wednesdays.
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.
There is a summer
2012 internship opportunity at the Microsoft Research/INRIA
Joint Center with Karthikeyan
Bhargavan's CRYSP
project that I am involved in. For details, click here.
Teaching:
I am currently teaching the following courses at Kinneret
College:
Semester 1: (Fall)
Semester 2: (Spring)
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 am also involved in the management of the senior year projects for
the Information Systems Engineering program. See here or Telem for more details and
projects documentation requirments.
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: 1 Dec 2011
