UNC-CH/ CS/ Mechanized Inference/ People

Faculty
o Dr. David Plaisted
Students
o George Greene
o Paramasivam
o Bill Yakowenko
o Yunshan Zhu
Alumni
o Dr. Geoffrey Alexander
o Dr. Ritu Chadha
o Dr. Heng Chu
o Dr. Shie-Jue Lee
o Dr. Xumin Nie
plaisted@cs.unc.edu, 16-Aug-96
If you have a link to this page...