Added the department

CertiKOS · Nov 8, 2024 · f4f6307 · f4f6307
1 parent c7c84c2
commit f4f6307
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compcertoe/compcertoe.tex b/compcertoe/compcertoe.tex
@@ -192,6 +192,7 @@
 \author{Yuting Wang}
 \orcid{0000-0003-3990-2418}
 \affiliation{
+  \department{John Hopcroft Center for Computer Science, School of Electronic Information and Electrical Engineering}              %% \department is recommended
   \institution{Shanghai Jiao Tong University}
   \city{Shanghai}
   \country{China}}