HELLO, I'M
Josephine Lamp
Computer Science PhD Student, NSF Graduate Research Fellow & Jefferson Fellow @ UVA
Josephine Lamp
CS PhD Student
NSF Graduate Research Fellow
Jefferson Fellow
University of Virginia
Charlottesville, VA
About
RESEARCH INTERESTS
I am a third-year Computer Science PhD student, 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 Cybersecurity; I am interested in the development of safe and secure Medical Cyber-Physical Systems using the application of Formal Methods. Specifically, I am developing privacy-preserving machine learning and artificial intelligence (AI) techniques for clinical decision support systems.
News
-
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
Education
WHAT I’VE LEARNED
2018--Present
PhD Student, Computer Science
Olive B. and Franklin C. Mac Krell Jefferson Fellow
School of Engineering and Applied Science
University of Virginia, Charlottesville, VA
2014–2018
BS in Biomedical Informatics
Barrett, the Honors College, Arizona State University, Tempe, AZ
Summa Cum Laude, Graduated with honors as Outstanding ASU Graduate
2014
Apple Certified Macintosh Technician
Tech ID: NT56FCB25F
2010–2014
STEM Program
Skyline High School, Longmont, CO Class of 2014
Experience
WHERE I’VE WORKED
Jan. 2015–Jun. 2018
Undergraduate Researcher
ASU Center for Cybersecurity and Digital Forensics
Aug. 2017--May 2018
Research Affiliate
Mayo Clinic, Scottsdale, AZ
May 2017--Aug. 2017
Technology Early Career Development Intern
Cigna, Phoenix, AZ
Jun. 2016--Aug. 2016
Engineering Intern
Performance Software, Phoenix, AZ
Aug. 2014--Sept. 2016
Apple Certified Repair Technician
Sun Devil Marketplace Apple Repair Center at ASU
Teaching
TEACHING ASSISTANT
-
CS 6501-002/ SYS 6582-002 CPS: Formal Methods, Safety, Security, Spring 2020
- CS 4710 Artificial Intelligence, Fall 2019
​
​
Publications & Talks
CONFERENCE PAPERS
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]
​
ExSol: Collaboratively Assessing Cybersecurity Risks for Protecting Energy Delivery Systems
Josephine Lamp, Carlos E. Rubio-Medrano, Ziming Zhao and Gail-Joon Ahn
2019 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), Montreal, Canada, April 15-18, 2019 [pdf]
​
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
Josephine Lamp
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]
​
OntoEDS: Protecting Energy Delivery Systems by Collaboratively Analyzing Security Requirements
Josephine Lamp, Carlos E. Rubio-Medrano, Ziming Zhao and Gail-Joon Ahn
3rd IEEE International Conference on Collaboration and Internet Computing, San Jose, CA, USA, October 15-17, 2017 [pdf] [bibtex]
​
Towards Adaptive and Proactive Security Assessment for Energy Delivery Systems
Josephine Lamp, Carlos E. Rubio-Medrano, Ziming Zhao and Gail-Joon Ahn
2017 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), Pittsburgh, PA, USA, April 21, 2017 [pdf] [bibtex]
​
Towards a Moving Target Defense Approach for Attribute-based Access Control
Carlos E. Rubio-Medrano, Josephine Lamp, Marthony Taguinod, Adam Doupé, Ziming Zhao and Gail-Joon Ahn
1st ACM Workshop on Attribute-based Access Control (ABAC), New Orleans, LA, USA, March 11, 2016 [pdf] [bibtex]
​
​
POSTERS
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
​
​
Awards
FELLOWSHIPS
-
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
​
AWARDS & HONORS
-
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]
​
​
TALKS
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]
​
​
​
Service
WORKSHOPS AT COMPUTERS4KIDS
A fellow CS PhD student and I are hosting weekly workshops at Computers4Kids, a local nonprofit serving low income 6th--12th graders that provides free mentoring and access to technology and STEAM projects. Each week we will guide 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. I am really excited to be working with these brilliant students. I hope we can inspire them to dive into the wild, ultra-creative world of CS and Engineering!
​
JEFFERSON JOURNAL EDITOR
I am very excited to be an 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 am helping 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. I will also be planning a conference for the accepted submissions to present their work in October. More information about the journal is available via our website: http://journals.sfu.ca/jjsc/index.php/journal/index
​
COMPUTER SCIENCE GRADUATE STUDENT GROUP (CSGSG) REPRESENTATIVE
I am Chair 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. I love the CS department, and I hope to act as a useful representative and help improve and support the program and students here.
​
​