Computer Science PhD Candidate, NSF Graduate Research Fellow & Jefferson Fellow @ UVA
CS PhD Candidate
NSF Graduate Research Fellow
University of Virginia
I am a fifth-year Computer Science PhD candidate, 2020 NSF Graduate Research Fellow and Olive B. and Franklin C. Mac Krell Jefferson Fellow attending the University of Virginia in Charlottesville, Virginia. I am advised by Dr. Lu Feng and Dr. Dave Evans in the Link Lab. My research is at the intersection of Healthcare, Computer Science and Privacy; I am interested in the development of safe and private Medical Cyber-Physical Systems using the application of Formal Methods. Specifically, I am developing privacy-preserving machine learning (ML) and artificial intelligence (AI) techniques for clinical decision support systems.
May 2022 - Our paper Systemic arterial pulsatility index (SAPi) predicts adverse outcomes in advanced heart failure patients has been published in Heart & Vessels Journal
November, 2020 - Thrilled to announce that our team's solution was selected as a winner for the 2020 NIH organized NHLBI Big Data Analysis Challenge: Creating New Paradigms for Heart Failure Research for our Solution entitled Intelligently Characterizing Patient Hemodynamic Phenotypes for Advanced Heart Failure in the ESCAPE Trial Using Learned Multi Valued Decision Diagrams.
August, 2020 - I was featured in a "Humans of the Link Lab" story at UVA. Check out the blog post here and instagram post here.
April, 2020 - I am incredibly humbled to announce that I am a 2020 NSF Graduate Research Fellow. More details can be found here!
June, 2019 - Our paper "A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors" has been accepted to the 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) in Trieste, Italy
April, 2019 -- I am honored to announce that I have won a travel scholarship award to attend the CPS Week and ICCPS conference in Montreal, Canada from April 15th - 18th
February, 2019 -- Our paper "ExSol: Collaboratively Assessing Cybersecurity Risks for Protecting Energy Delivery Systems" from my undergraduate work at Arizona State has been accepted to the MSCPES workshop as a part of the ICCPS conference in Montreal!
January, 2019 -- I have been selected to participate in the CRA-W Grad Cohort for Women Workshop on April 12-13, 2019 at the Hilton Chicago in Chicago, IL. I look forward to learning from and connecting with other graduate and professional women!
December, 2018 -- I am excited to announce that I have been awarded a student scholarship to attend the Women in CyberSecurity (WiCyS) 2019 Conference in Pittsburgh, PA on March 28-30, 2019.
August, 2018 -- I have officially started as a Computer Science PhD student at the University of Virginia in Charlottesville, Virginia. I was offered the prestigious Jefferson Fellowship along with the Distinguished Engineering Fellowship at UVa.
May, 2018 -- I have graduated from Arizona State University with my BS in Biomedical Informatics, Summa Cum Laude and as an honored Outstanding ASU Graduate
WHAT I’VE LEARNED
PhD Candidate, Computer Science
Olive B. and Franklin C. Mac Krell Jefferson Fellow
School of Engineering and Applied Science
University of Virginia, Charlottesville, VA
BS in Biomedical Informatics
Barrett, the Honors College, Arizona State University, Tempe, AZ
Summa Cum Laude, Graduated with honors as Outstanding ASU Graduate
Apple Certified Macintosh Technician
Tech ID: NT56FCB25F
Skyline High School, Longmont, CO Class of 2014
WHERE I’VE WORKED
Senior Privacy Engineer (Contractor)
Dexcom, Charlottesville, VA
Jan. 2015–Jun. 2018
ASU Center for Cybersecurity and Digital Forensics
Aug. 2017--May 2018
Mayo Clinic, Scottsdale, AZ
May 2017--Aug. 2017
Technology Early Career Development Intern
Cigna, Phoenix, AZ
Jun. 2016--Aug. 2016
Performance Software, Phoenix, AZ
Aug. 2014--Sept. 2016
Apple Certified Repair Technician
Sun Devil Marketplace Apple Repair Center at ASU
CS 6501-002/ SYS 6582-002 CPS: Formal Methods, Safety, Security, Spring 2020 & 2021
- CS 4710 Artificial Intelligence, Fall 2019 & 2020
Selected Publications & Talks
CONFERENCE / JOURNAL PAPERS
Systemic arterial pulsatility index (SAPi) predicts adverse outcomes in advanced heart failure patients
Sula Mazimba, Hunter Mwansa , Khadijah Breathett, Jarred E Strickling, Kajal Shah, Coleen McNamara, Nishaki Mehta, Younghoon Kwon, Josephine Lamp, Lu Feng, Jose Tallaj, Salpy Pamboukian, Mwenya Mubanga, Jashanjeet Matharoo, Scott Lim, Michael Salerno, Victor Mwansa, Kenneth C Bilchick
Heart and Vessels Journal, 2022 [link]
ExSol: Collaboratively Assessing Cybersecurity Risks for Protecting Energy Delivery Systems
Josephine Lamp, Carlos E. Rubio-Medrano, Ziming Zhao and Gail-Joon Ahn
ACM Digital Threats: Research and Practice, 2(3), 1-23. 2021 [link]
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
Josephine Lamp, Simone Silvetti, Marc Breton, Laura Nenzi, and Lu Feng
In: Bortolussi L., Sanguinetti G. (eds) Computational Methods in Systems Biology. CMSB 2019. Lecture Notes in Computer Science, vol 11773. Springer, Cham [pdf] [bibtex]
The Danger of Missing Instructions: A Systematic Analysis of Security Requirements for MCPS
Josephine Lamp, Carlos E. Rubio-Medrano, Ziming Zhao and Gail-Joon Ahn
3rd International IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies: CHASE-MedSPT 2018, Washington, DC, USA, September 26-28, 2018 [pdf] [bibtex]
Ardent Health Aegis: Security Analysis and Monitoring for Medical Cyber-Physical Systems
Barrett Honors Thesis [pdf]
Mutated Policies: Towards Proactive Attribute-based Defenses for Access Control
Carlos E. Rubio-Medrano, Josephine Lamp, Adam Doupé, Ziming Zhao and Gail-Joon Ahn
2017 Workshop on Moving Target Defense, in conjunction with CCS 2017, Dallas, TX, USA, October 30, 2017 [pdf] [bibtex]
GlucoSynth: Generating Synthetic Glucose Traces Using Differentially-Private Generative Adversarial Networks
Josephine Lamp, Mark Derdzinski, Lu Feng, Dave Evans, Nathaneal Paul
15th International Conference on Advanced Technologies & Treatments for Diabetes (ATTD '22), 2022
Kidney Transplantation Management and Decision Support System
Alp Demirag, Yuxin Wu, Josephine Lamp, S. Holland, Autumn Routt, Lu Feng
American Journal of Transplantation, vol. 21, pp. 827-827, 2021
Trust Bubble: A Privacy-Preserving Framework for Data and Personnel Sharing in Diverse Health Networks.
Josephine Lamp, Robert Greenes, Edward Shortliffe
AMIA Annual Symposium 2018, San Francisco, CA, USA, September 26-28, 2018 [pdf]
Adaptive and Proactive Security Assessment for Energy Delivery Systems
Josephine Lamp, Vu Coughlin, Carlos E. Rubio-Medrano, Ziming Zhao, and Gail-Joon Ahn
CREDC Industry Workshop, Tempe, AZ, USA, March 27-29, 2017
Clinical Decision Support in the Era of Big Data and Machine Learning
Expert Reactor Panelist with Don Detmer, MD, MA, University of Virginia, Christopher Longhurst, MD, MS, FACMI, UC San Diego Health and Gretchen Purcell Jackson, MD, PhD, FACMI, IBM Watson Health
AMIA 2019 Health Informatics Policy Forum, National Press Club, Washington DC, USA December 5th, 2019 [link]
2020 National Science Foundation Graduate Research Fellowship (NSF GRF) [more info] [UVA news article]
Olive B. and Franklin C. Mac Krell Jefferson Fellowship Recipient, awarded to “individuals of extraordinary intellectual range and depth … who demonstrate outstanding achievement and the highest promise as scholars, teachers, public servants, and business leaders in the United States and beyond.” [more info] [fellow bio]
UVA Distinguished Engineering Fellowship Recipient
2020 NIH organized NHLBI (National Heart, Lung and Blood Institute) Big Data Analysis Challenge: Creating New Paradigms for Heart Failure Research for our Solution entitled Intelligently Characterizing Patient Hemodynamic Phenotypes for Advanced Heart Failure in the ESCAPE Trial Using Learned Multi Valued Decision Diagrams. The Challenge included a $50,000 prize. [more info]
AWARDS & HONORS
Best Poster, UVA CS Fall 2022 Research Symposium, October, 2022 [more info]
Best Poster Presentation, UVA CS Fall 2021 Research Symposium, December 2021 [more info]
UVA Raven Society Inductee, February 2021
Sigma Xi Associate Member, June 2020 [more info]
UVA CS Department Outstanding Graduate Service Award 2019-2020, April, 2020 [more info]
Received a travel scholarship award to attend CPS Week in Montreal, Canada, April, 2019 [more info]
Selected to participate in the CRA-W Grad Cohort for Women Workshop in Chicago, IL, January 2019 [more info]
Student Scholarship to the Women in CyberSecurity (WiCyS) 2019 Conference in Pittsburgh, PA, December 2018 [more info]
Arizona State University Outstanding Graduate Award, May 2018, an award given to high-impact undergraduate students who are likely to make a difference in the world, and of which only one student from each college is selected (total of 17 students selected out of a graduating class of 15,000) [more info]
National Center for Women in Technology Collegiate Award Finalist, March 2018 [more info]
CONFERENCE AND WORKSHOP ORGANIZATION:
Web Chair, International Conference on Runtime Verification 2021
Co-Chair, Medical Cyber Physical Systems and Internet of Medical Things Workshop, as part of the CPS-IoT Week 2021
COMPUTER SCIENCE GRADUATE STUDENT GROUP (CSGSG)
From January 2019 - December 2021, I served as the Graduate Program Rep (2021), Chair (2020), and Diversity Rep (2019) of the Computer Science Graduate Student Group (CSGSG), equivalent to a graduate student council, that acts as the liaison between faculty and students. The committee hosts student events to help with students knowing each other, and represents the CS student body at faculty meetings and for departmental decisions.
NSF GRFP APPLICATION MENTOR FOR UVA WRITING LAB
I serve as a NSF GRFP writing lab mentor to help students who are applying for the NSF Graduate Research Fellowship. This includes helping with brainstorming, content and flow of ideas, and reviewing and editing application essays.
JEFFERSON JOURNAL EDITOR-IN-CHIEF
In 2019 I was the editor-in-chief for the newly revamped Jefferson Journal of Science and Culture. The interdisciplinary journal serves to provide a venue where scholars who are doing cross-discipline work can publish articles related to specific topics. The journal is part of the Jefferson Scholars Foundation, and I helped set up and manage the journal, from setting up the website, planning out our call for submissions, writing submission guidelines, picking journal themes, and more. We also planned a conference for the accepted submissions to present their work in November 2019. More information about the journal is available via the website: http://journals.sfu.ca/jjsc/index.php/journal/index
WORKSHOPS AT COMPUTERS4KIDS
A fellow CS PhD student and I hosted weekly workshops at Computers4Kids, a local nonprofit serving low income 6th--12th graders that provides free mentoring and access to technology and STEAM projects from fall of 2018 - spring of 2020. Each week we guided students through various projects, such as temperature-changing lamps (using arduinos), building remote control cars from scratch, fun coding projects, cybersecurity and basic hacking camps, and wearable tech. It was such a great experience working with these brilliant students. I hope we inspired them to dive into the wild, ultra-creative world of CS and Engineering!
I am also involved with health policy, as I believe that change can only be affected through multiple facets, and that it is important to collaborate and communicate with other entities (i.e. the government). Specifically, I am working with Dr. Don Detmer and have made multiple trips to Washington DC to meet with Senate staffers and health-related committees (e.g. the US senate HELP committee) to provide input on current privacy and healthcare bills, including the “Protecting Personal Health Data Act,” proposed to the Senate in June 2019.