Alwyn E.Goodloe

  



        I am a seventh year Ph.D. student in the CIS department at the University of Pennsylvania .   My adviser is Carl A. Gunter (Recently relocated to UIUC).  
     
       I expect to be graduating in the Spring of 2007  so if you are interested in hiring someone interested in formal methods and computer security please check out my research page.


  If you were wondering about the name Alwyn, it is Welsh. While I'm not Welsh, I was named for my grandfather who was named after his father's best friend who was Welsh.

Research. My research page Research page contains a description of my research. In particular check out the Tunnel Calculus.



Personal    Check this out to see where I'm from, what I've been doing the last decade, and why I came back to grad school.




EDUCATION

B.Sc. Computer Science , Old Dominion University , 1985.

M.Sc. Mathematics, George Mason University , 1992.

M.S.E. Computer and Information Science, University of Pennsylvania, 2001.

Ph.D.  Computer and Information Science, University of Pennsylvania, EXPECTED  May-June 2007.

Marktoberdorf Summer School on Models, Algebras and Logics. Markdoberdorf Germany 2002.

Summer School on Specification, Refinement, and Verification. Turku Finland 2002.



ADDRESS   

Alwyn E. Goodloe
Department of Computer and Information Science,
Room 74M,
Moore Graduate Research Wing (GRW),
200 South 33rd Street,
Philadelphia, PA 19104
email  :  agoodloe at seas dot  upenn  dot edu
Office phone: 215-898-5869

Home     
7000 Lincoln Dr.
Apt B4
Philadelphia PA. 19119

Phone: 215-247-3430
Cell: 804-690-5478