Navigate Up
Sign In

Wilfredo Marrero

Associate Professor //
School of Computing
Wilfredo Marrero
Email:
WMarrero@cs.depaul.edu

Office:
CDM 737

Phone:
(312)362-5065

Homepage:
http://reed.cs.depaul.edu/wmarrero

Advising Hours for the week of
9/7/2014 - 9/13/2014
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
9/14/2014 - 9/20/2014
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
9/21/2014 - 9/27/2014
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
9/28/2014 - 10/4/2014
Tu 9:30AM - 10:00AM at CDM 737
W 10:30AM - 12:00PM at CDM 737
Th 9:30AM - 10:00AM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
10/5/2014 - 10/11/2014
W 10:30AM - 12:00PM at CDM 737
10/12/2014 - 10/18/2014
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
10/19/2014 - 10/25/2014
Tu 10:00AM - 10:30AM at CDM 737
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
10/26/2014 - 11/1/2014
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
11/2/2014 - 11/8/2014
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
11/9/2014 - 11/15/2014
W 10:30AM - 12:00PM at CDM 737
Th 10:30AM - 12:00PM at CDM 737
<<
Current week
>>


Office Hours for the week of
9/14/2014 - 9/20/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
9/21/2014 - 9/27/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
9/28/2014 - 10/4/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
10/5/2014 - 10/11/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
10/12/2014 - 10/18/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
10/19/2014 - 10/25/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
10/26/2014 - 11/1/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
11/2/2014 - 11/8/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
11/9/2014 - 11/15/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
11/16/2014 - 11/22/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
11/23/2014 - 11/29/2014
M 10:30AM - 12:00PM at CDM 737
Tu 10:30AM - 12:00PM at CDM 737
<<
Current week
>>
Bio and Research Information
Wilfredo Marrero holds a B.A. degree in computer science and mathematics from Columbia University and M.S. and Ph.D. degrees in computer science from Carnegie Mellon University. He began teaching computer science at DePaul University in 1999. His research interests span the broad area of formal methods, especially how they can be applied to computer security. He has worked on hardware verification while spending summers at Intel and at Cadence Berkeley Labs. He developed a model checker called Brutus that can be used to analyze security protocols as well as a validity checker for the temporal logic CTL. He continues to search for ways to apply formal models, logic, and computer automation to aid in the design of complex hardware, software, and security.
Schedule for Winter 2014-2015
Courses Taught at DePaul
Course Evaluations