CV

Education

Ph.D. in Computer and Information Science, University of Pennsylvania, 2008
M.Sc. in Computer and Information Science, University of Pennsylvania, 2004
B.Sc. in Computer Science, Loyola University Chicago, 2002

Work Experience

2008-Present: Lecturer and Senior Lecturer Kinneret College on the Sea of Galilee, Software + Information Systems Engineering
- Responsible for programming practice and instruction for academic staff
- Taught 15+ academic courses on computer networks, data security, software engineering, databases, algorithms, distributed systems, operating systems, and Android development
- Mentored junior lecturers and teaching assistants.
- Academic advisor to 50+ academic/industrial capstone projects
- Primary advisor for 18 research capstone projects
- Co-PI for 2 Israel Science Foundation research grant applications
- Founder and co-organizer of Software for the Past conference (4 editions)
- Introduced automatic grading and automatic plagiarism tools to department.
- Visiting researcher and lecturer at peer academic institutions in 2 European countries
- Former department head
2019-Present: CemoMemo Project Co-Founder and Head
- Built cloud-based platform for crowd-based cemetery digitization.
- Brought platform to 180+ cemeteries in 10+ countries with ~1K users.
- Performed community outreach for local and international partners.
2015-2023: Dax Asparna Head of Research
- Directed advanced research and development on novel file processing algorithms.
- Participated in fundraising efforts and top-level management.
- Created long term research plan for company core intellectual property.
2015-2023: Asparna Research Center Head
- Recruited and managed local and international students for research projects
- Directed 10+ research projects with 20+ students on intelligent file processing, novel machine learning algorithms, malware detection, and file differencing.
- Published 5 peer-reviewed academic journal and conference articles.
- Presented research findings at local and international research conferences.
- Invented novel file differencing algorithm that led to 2+ patents and a spin-off subsidiary.

Skills

Programming Languages:

Java, C#, C, SQL, Python

Frameworks & Tools:

Distributed software development tools
Automatic grading and plagiarism detection systems
Cybersecurity threat analysis and mitigation
Software engineering
Model-based software engineering
Algorithm design and implementation
Complex software system design, documentation, and programming

Research & Communication:

Computer communications security and algorithmic research
Academic publication and presentation
Mentoring
Cyber security attack and mitigation

Languages

English (native)
Hebrew (Fluent speaking, reading, writing)

Publications

Attitudes toward death and suicide through the lens of Ḥalutzi-era gravestones

May, M. J., & Kantor, E. (2025). Attitudes toward death and suicide through the lens of Ḥalutzi-era gravestones. Mortality, 1–24. https://doi.org/10.1080/13576275.2025.2533974

Improving a Model-Based Software Engineering Capstone Course

Michael J. May and Amir Tomer. 2023. Improving a Model-Based Software Engineering Capstone Course. In: Keane, T., Lewin, C., Brinda, T., Bottino, R. (eds) Towards a Collaborative Society Through Creative Learning. WCCE 2022. IFIP Advances in Information and Communication Technology, vol 685. Springer, Cham.

Memorialization and Attitudes Toward Suicide in Halutzi-Era Burials

Michael J. May and Efrat Kantor. Michael J. May and Efrat Kantor. 2023. Memorialization and Attitudes Toward Suicide in Halutzi-Era Burials in 39th Annual Conference of the Association for Israel Studies, New York, 2023.

CEMDA: Preserving the User’s Mental Model on Android Files Using Complex Events

Michael J May, Yaakov Cohen, Hovav Menachem, and Yogev Swisa. 2023. CEMDA: Preserving the User's Mental Model on Android Files Using Complex Events in SIGAPP Appl. Comput. Rev. 22, 4 (December 2022), 24–36. https://doi.org/10.1145/3584014.3584016

Donag: Generating Efficient Patches and Diffs for Compressed Archives

Michael J. May. 2022. Donag: Generating Efficient Patches and Diffs for Compressed Archives in ACM Trans. Storage 18, 3, Article 26 (August 2022), 41 pages. https://doi.org/10.1145/3507919.

Improving a Model-Based Software Engineering Capstone Course

Michael J. May and Amir Tomer. Improving a Model-Based Software Engineering Capstone Course in Proceedings of IFIP WCCE 2022: World Conference on Computers in Education, 2022. pp. 195.

Systems and methods for generating and applying a patch package

Etamar Laron and Michael J. May. 2022. Systems and methods for generating and applying a patch package. (Dec 2022). WIPO PCT no. WO2022269612A1. Filed June 22, 2022, Issued Dec 29, 2022

CEMDA: Detecting Android Complex File Events to Infer the User’s Mental Model

Michael J May, Yaakov Cohen, Hovav Menachem, and Yogev Swisa. CEMDA: detecting android complex file events to infer the users mental model. In Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing (SAC 22). Association for Computing Machinery, New York, NY, USA, 2022. pp. 917–925. https://doi.org/10.1145/3477314.3507009

CemoMemo: Making More Out of Gravestones (With Help From the Crowd)

Michael J. May, Efrat Kantor, and Nissim Zror. 2021. CemoMemo: Making More Out of Gravestones (With Help From the Crowd). J. Comput. Cult. Herit. 14, 4, Article 57

Systems and methods for generating and applying a patch package

Etamar Laron and Michael J. May. 2022. Systems and methods for generating and applying a patch package. (June 2022). Patent no. IL284315B, Filed June 22, 2021, Issued June 1, 2022

WSEmail

May, M.J., Lux, K.D. & Gunter, C.A. 2020. WSEmail in Service Oriented Computing and Applications (SOCA) 14, 5–17. https://doi.org/10.1007/s11761-019-00283-9

Carved in Stone? Not Only: Towards Digitizing Cemeteries in the State of Israel and Interdisciplinary Cooperation in Colleges

Michael J. May and Efrat Kantor. Carved in Stone? Not Only: Towards Digitizing Cemeteries in the State of Israel and Interdisciplinary Cooperation in Colleges in 35th Annual Conference of the Association for Israel Studies (AIS 2019), Israel, 2019.

Combatting Ransomware Using Content Analysis and Complex File Events

M. J. May and E. Laron, Combating Ransomware using Content Analysis and Complex File Events, in 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Canary Islands, Spain, 2019, pp. 1-5, doi: 10.1109/NTMS.2019.8763851.

On the Lifecycle of the File

Michael J. May, Etamar Laron, Khalid Zoabi, and Havah Gerhardt. On the Lifecycle of the File in ACM Trans. Storage 15, 1, Article 1 (February 2019), 45 pages. https://doi.org/10.1145/3295463.

Towards Unified Authorization for Android

Michael J. May and Karthikeyan Bhargavan. 2013. Towards unified authorization for android. In Proceedings of the 5th international conference on Engineering Secure Software and Systems (ESSoS 13). Springer-Verlag, Berlin, Heidelberg, 42–57. https://doi.org/10.1007/978-3-642-36563-8_4

Strong and Weak Policy Relations

M. J. May, C. A. Gunter, I. Lee and S. Zdancewic, Strong and Weak Policy Relations, in 2009 IEEE International Symposium on Policies for Distributed Systems and Networks, London, UK, 2009, pp. 33-36, doi: 10.1109/POLICY.2009.20.

Emergency Alerts as RSS Feeds with Interdomain Authorization

F. Gioachin, R. Shankesi, M. J. May, C. A. Gunter and W. Shin, Emergency Alerts as RSS Feeds with Interdomain Authorization, in Second International Conference on Internet Monitoring and Protection (ICIMP 2007), San Jose, CA, USA, 2007, pp. 13-13, doi: 10.1109/ICIMP.2007.15.

Securing the Drop-box Architecture for Assisted Living

Michael J. May, Wook Shin, Carl A. Gunter, and Insup Lee. 2006. Securing the drop-box architecture for assisted living in Proceedings of the fourth ACM workshop on Formal methods in security (FMSE 06). Association for Computing Machinery, New York, NY, USA, 1–12. https://doi.org/10.1145/1180337.1180338.

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies

M. J. May, C. A. Gunter and I. Lee, Privacy APIs: access control techniques to analyze and verify legal privacy policies, in 19th IEEE Computer Security Foundations Workshop (CSFW 2006), Venice, Italy, 2006, pp. 13 pp.-97, doi: 10.1109/CSFW.2006.24.

WSEmail: Secure Internet Messaging Based on Web Services

N. L. Bhattad, C. A. Gunter, M. J. May and K. D. Lux, WSEmail: Secure Internet Messaging Based on Web Services, in Proceedings 2005 IEEE International Conference on Web Service, Orlando, FL, 2005, pp. 75-82, doi: 10.1109/ICWS.2005.138.

A Formal Privacy System and its Application to Location Based Services

Carl A. Gunter, Michael J. May, and Stuart Stubblebine. A Formal Privacy System and its Application to Location Based Services, in 2004 Privacy Enhancing Technologies (PET). Toronto, Canada, 2004.

Teaching

SE 331: Introduction to Computer Networks מבוא לרשתות מחשבים

SE 317: Operating Systems מערכות הפעלה

Service and leadership

Served on Board of Kinneret Faculty Union/Senate
Chair of the Kinneret College Library Committee for 4 years
Serving on Kinneret College Student Appeals Committee
External expert reviewer (Requirements Engineering 2016, 2018, 2019 and IEEE Computer 2021)
Technical Program committee for ICIMP 2022 - 2008

Michael J May

CV