I'd love to hear from you.

  • google-scholar-logo
  • Black LinkedIn Icon
  • Black Facebook Icon
  • Black Twitter Icon
  • Black Instagram Icon
  • Black Pinterest Icon


Rice Hall

85 Engineer's Way. Charlottesville, VA 22903

© 2019 By Josephine Lamp


Josephine Lamp

Computer Science PhD Student & Jefferson Fellow @ UVA


Josephine Lamp

CS PhD Student

Jefferson Fellow

University of Virginia

Charlottesville, VA

  • scholar
  • White LinkedIn Icon
  • White Facebook Icon
  • White Twitter Icon
  • White Instagram Icon
  • White Pinterest Icon



I am a second--year Computer Science PhD student 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 in the Link Lab. My research interests lie at the intersection of Healthcare, Computer Science and Cybersecurity. Specifically, I am interested in the development of safe and secure Medical Cyber--Physical Systems using the application of formal methods.