Teaching Software Correctness Workshop Participants
May 13-15, 2008, University of Oklahoma and NSF

Attendees
Jarred Blount Texas Tech U http://www.cs.ttu.edu/
Chia-Chu Chiang U Arkansas LR http://technologize.ualr.edu/computerscience/?page_id=13
John Cowles U Wyoming http://www.cs.uwyo.edu/~cowles/
Pedro Diaz-Gomez Cameron U http://www.cameron.edu/~pdiaz-go/
Yifei Dong U Oklahoma http://www.cs.ou.edu/faculty_staff/dong.htm
Carl Eastlund* Northeastern U http://www.ccs.neu.edu/home/cce/
Ruben Gamboa U Wyoming http://www.cs.uwyo.edu/~ruben/
Jon Hoag Kansas State U http://people.cis.ksu.edu/~jch5588/
Arthur Ingram Oral Roberts U http://portal3.oru.edu/dynmgr.dynelmt.getDoc?v_docid=1893
Daniel Moix ArkansasSch/M,S,A http://www.dmoix.net/resume/
Rex Page* U Oklahoma http://www.cs.ou.edu/faculty_staff/page.htm
Ryan Ralston* U Oklahoma http://www.cs.ou.edu
Nelson Rushton Texas Tech U http://www.cs.ttu.edu/~rushton/
Walid Taha Rice U http://compsci.rice.edu/Facultydetail.cfm?riceid=1198
Dwayne Towell Abilene Christian U http://itc.acu.edu/towell/
Zac White* U Oklahoma http://zacwhite.com/about/

Participation Certificates

unable to attend
Matt Buechler Missouri S&T http://web.mst.edu/~buechler/
Paul Grabow Baylor U http://web.ecs.baylor.edu/faculty/grabow/MyWeb/
Remzi Seker U Arkansas LR http://technologize.ualr.edu/computerscience/?page_id=19
Jeremy Siek U Colorado http://ece.colorado.edu/~siek/
Rakesh  Verma U Houston http://www2.cs.uh.edu/~rmverma/
Hongbiao Zeng Fort Hayes State http://www.fhsu.edu/~hzeng/

* TSC instructor / assistant