diff --git a/paper-new/paper.tex b/paper-new/paper.tex
index 8a62495f692dc7e90fe4ac48750bbe83e1a95d77..a4a420411cfe3c908b1b4607f8c6aaa79a8cfb66 100644
--- a/paper-new/paper.tex
+++ b/paper-new/paper.tex
@@ -34,7 +34,7 @@
 
 \begin{document}
 
-\title{Mechanized Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory}
+\title{Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory}
 \author{Eric Giovannini}
 \affiliation{
   \department{Electrical Engineering and Computer Science}
@@ -43,6 +43,14 @@
 }
 \email{ericgio@umich.edu}
 
+\author{Tingting Ding}
+\affiliation{
+  \department{Electrical Engineering and Computer Science}
+  \institution{University of Michigan}
+  \country{USA}
+}
+\email{tingtind@umich.edu}
+
 \author{Max S. New}
 \affiliation{
   \department{Electrical Engineering and Computer Science}