Will Marrero

Ph.D. Student, Computer Science

E-mail: marrero+@cs.cmu.edu
Office: Wean Hall 8121
Office Address
Carnegie Mellon University
School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
phone: +1 412 268-3069, fax: +1 412 268-5576
Home Address
5631 Northumberland Street #1
Pittsburgh, PA 15217
phone: +1 412 422-0173


As a doctoral student at Carnegie Mellon University my research has dealt with system design, modeling, and analysis. My research began with model checking and hardware verification at CMU. I also spent summers at Intel and Cadence investigating how to use formal methods to verify real world microprocessor designs. I am also interested in real-time systems, and how a model checker can be used to analyze the performance of these systems in addition to verifying correctness.

Currently, I am investigating how to model and verify computer security protocols including authentication protocols and electronic commerce protocols. With the growth such entities as "the Internet" and "the World Wide Web", both in the number of users and the number of organizations offering services, computer security and information survivability are quickly becoming extremely important and challenging areas. I hope to continue to make contributions in these fields.

For more information you can look at a list of my publications or at the CMU model checking project home page.

Job Search

I expect to receive my Ph.D. this year, so I am currently applying for jobs. Below are some of the components of my application packet.


3/20/99 - 3/26/99

3/28/99 - 4/6/99


Back to the local SCS home page or the official SCS Front Door.