Farnaz Yousefi

Department of Computer Science, Johns Hopkins University, Baltimore, MD.
f.yousefi@jhu.edu

I am currently a Ph.D. student at Johns Hopkins University, advised by Prof. Scott Smith. I received my M.Sc. and B.Sc. degrees in computer software engineering from Sharif University of Technology, and Amirkabir University of Technology respectively.

Research Interests

  • Model Checking
  • Programming Languages
  • Distributed Systems

Education

Johns Hopkins University

Doctor of Philosophy
Computer Science
Sep. 2019 - Now

Sharif University of Technology, Tehran, Iran

Master of Science
Computer Engineering - Software
Thesis Project
Sep. 2015 - Jan. 2019

Amirkabir University of Technology, Tehran, Iran

Bachelor of Science
Computer Engineering - Software
Sep. 2011 - Sep. 2015

Publications

  • Yousefi, F., Abhashkumar, A., Subramanian, K., Hans, K., Ghorbani, S. and Akella, A. Liveness Verification of Stateful Network Functions. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2020. [pdf]

  • Yousefi, F., Khamespanah, E., Gharib, M., Sirjani, M. and Movaghar, A. "VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance." International Journal on Software Tools for Technology Transfer (STTT), 2020. [pdf]

  • Yousefi, F., Khamespanah, E., Gharib, M., Sirjani, M. and Movaghar, A. "VeriVANca: an actor-based framework for formal verification of warning message dissemination schemes in VANETs". In International Symposium on Model Checking Software (Spin), 2019. [pdf]

Skills

Computer Skills
  • Programming Languages & Tools
  • Operating Systems
    • OS X, and Windows
Languages
  • English: Full Professional Proficiency
  • Azari Turkish: Fluent
  • Persian: Mother Tongue

Interests

  • Photography (check out my instagram)
  • Gardening
  • Reading books and listening to audiobooks
  • Biking

Awards & Honors

  • Ranked 5th Among More Than 1000 Candidates in The National University Entrance Examination of Master's Degree Program in Iran, Autumn-2015.
  • Awarded for The Best Student Scientific Chapter (SSC) of Amirkabir University of Technology, Department of Computer Engineering & Information Technology, 2015.
  • Awarded for The Best Student Scientific Chapter (SSC) of Amirkabir University of Technology, Department of Computer Engineering & Information Technology, 2014.
  • Executive Director of 5th Amirkabir Linux Festival, May 2013.
  • Executive Director of 13th Amirkabir ACM Programming Contest, October 2013.
  • Ranked Top 0.2% in The National University Entrance Examination of Bachelor's Degree Program Among All Iranian Students in Math & Physics, 2011.
Copyright 2013-2018 Blackrock Digital LLC.