Finished PhD

1 files changed, 6 insertions, 8 deletions

diff --git a/industry_cv.tex b/industry_cv.tex
index 83d880b..3cb3272 100644
--- a/industry_cv.tex
+++ b/industry_cv.tex
@@ -109,17 +109,15 @@
 % Contact info
 \hfill\fcolorbox{black}{white}{
   \begin{tabular}{l}
-    \email{tslil@posteo.de} \\
-    \href{https://tslil.xyz}{https://tslil.xyz} \\
-    {200 Krieger Hall, 3400 N. Charles St.} \\
-    Baltimore, MD 21218
+    \email{tslil@posteo.de}\\
+    \href{https://tslil.xyz}{https://tslil.xyz}
   \end{tabular}
-}\vspace{-3ex}
+}\vspace{0ex}
 
 % -----------------------------------------------------------------------------
 % Brief academic info
 % -----------------------------------------------------------------------------
-PhD candidate at JHU, expected graduation 2022
+PhD from JHU, fall 2022
 
 Supervised by \href{https://emilyriehl.github.io}{Emily Riehl}
 
@@ -129,7 +127,7 @@ Supervised by \href{https://emilyriehl.github.io}{Emily Riehl}
 
 \ruletitle{Education}
 
-\entry{Ongoing}{PhD Candidate Math.}{Johns Hopkins, expected graduation 2022}{}
+\entry{July 2022}{PhD in Mathematics}{Johns Hopkins}{Dissertation: Towards the theory of proof-relevant categories}
 
 \entry{Spring 2020}{Programme Associate}{Mathematical Sciences Research Institute}{Higher Categories and Categorification}
 
@@ -182,7 +180,7 @@ In the period 2016-present, i have created several medium-to-large projects of m
 
 \arxiventry{2106.03652}{A common misinterpretation of Isbell's obstruction to monoidal strictfication\linebreak}{which shows that the widely disseminated obstruction to strictifying the associator is shown to be under-specified as stated, and the truth is more subtle.}
 
-\arxiventry{2009.05545}{Bi-representations and bi-initial objects are not so different}{joint with L. Moser, on 2-categorical and double-categorical theorems characterising when pseudo-functors into Cat are representable, with applications to bi-adjunctions and 2-dimensional limits.}
+\arxiventry{2009.05545}{Bi-representations and bi-initial objects are not so different}{joint with L. Moser, on 2-categorical and double-categorical theorems characterising when pseudo-functors into Cat are representable, with applications to bi-adjunctions and 2-dimensional limits. To appear in {Cahiers de Topologie et Géométrie Différentielle Catégoriques}.}
 
 \arxiventry{2004.01313}{2-limits and 2-terminal objects are too different}{joint with L. Moser, on the failure of all theorems of the form ``a 2-dimensional limit is a 2-dimensional terminal object in a 2-dimensional slice category of cones''.}