Previous members of the Type Theory and Applications group

• Dr. R. Adams
• Dr. W. Chen
• Dr. Z. Ding
• Dr. Y. Feng
• Dr. S. Han
• Dr. C. McBride
• Dr. R. Pollack
• Dr. T. Xue