diff options
| -rw-r--r-- | cv.pdf | bin | 73805 -> 71770 bytes | |||
| -rw-r--r-- | cv.tex | 12 | ||||
| -rw-r--r-- | industry_cv.pdf | bin | 64174 -> 62101 bytes | |||
| -rw-r--r-- | industry_cv.tex | 14 |
4 files changed, 11 insertions, 15 deletions
| Binary files differ @@ -118,16 +118,14 @@ \hfill\fcolorbox{black}{cv-blue-bg}{ \begin{tabular}{l} \email{tslil@jhu.edu} \\ - \href{https://tslil.xyz}{https://tslil.xyz} \\ - {200 Krieger Hall, 3400 N. Charles St.} \\ - Baltimore, MD 21218 + \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{http://emilyriehl.github.io}{Emily Riehl} @@ -141,7 +139,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \begin{multicols}{2} \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} @@ -189,7 +187,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \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''.} diff --git a/industry_cv.pdf b/industry_cv.pdf Binary files differindex f1710b8..8a02ceb 100644 --- a/industry_cv.pdf +++ b/industry_cv.pdf 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''.} |