Michael J. May

Dr. Efrat Kantor and I developed the CemoMemo website and application for crowd-sourced documentation of graves and grave stones (soon to have automatic character recognition (OCR) for gravestones!).

I served as the head of the Asparna Research Center (ARC) at Kinneret until 2023. One major project at ARC is file life cycle analysis and complex file events. Our most recent publication on the topic extends complex file events to Android in a system called CEMDA.

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, including working on the WSEmail project.

I received my Ph.D. from the University of Pennsylvania. My dissertation and a list of my online publications is available.

Personal

My alter ego teaches in the University of Pennsylvania Dept of Veterinary Medicine.

In my spare time, I teach in a department of math and computer science (like the collar?), teach lightweight construction and simulation at Fraunhofer Institute, offer financial planning services, serve as the principal of an Ohio high school, work as a movie extra, am an emeritus professor of management science and engineering, write in a Texan magazine, give inspirational speeches, do surveying and comedy 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 practice), sell real estate professionally in in London, keep a very dark blog, act as a disk jockey for hip hop parties and weddings, served in the Old Guard for a few years at Arlington, write books about poetry, work as a producer at a story lab, serve as admissions director at a Pennsylvania university, maintain a meme-themed social media page, and have theories on high energy. Rumors of my demise have been grossly exaggerated. I also believe that any information on the web should be evaluated critically.

I have come to acquire great respect for Alice and Bob.