Flavio Lerda

Ph.D. Student
WeH 3703
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Ph#: (412) 268-1718

Student Member

School of Computer Science

Carnegie Mellon University

Welcome to Flavio Lerda's Home Page.

I am a Ph.D. candidate in the Computer Science Department at Carnegie Mellon University. This is my seventh year at Carnegie Mellon. I moved to Pittsburgh after visiting the Automated Software Engineering Group at the NASA Ames Research Center for about two years. I am interested in Model Checking for Software and I am working on this subject here at CMU with my advisor Edmund M. Clarke and the members of his group.

  • Research
  • The research projects I am currently involved in and a description of my areas of interest.

  • Publications
  • List of papers I have published and information about where to find them.
    For now there are not many but hopefully new ones are going to be added fast.

  • Teaching
  • My experience in teaching both before and during my stay at CMU.

  • Programming
  • Programming has always been very important to me and during the years I have accumulated some experience that I'd like to share now with people that find it as interesting as I do.

  • Resume