From df40831cad07c4b5ddfa75d05eba749e8e49367b Mon Sep 17 00:00:00 2001 From: aristote Date: Mon, 29 Dec 2025 21:11:15 +0100 Subject: add research output section --- src/research/content.tex | 24 ++++++++++++++++++++++++ src/research/default.nix | 41 +++-------------------------------------- 2 files changed, 27 insertions(+), 38 deletions(-) create mode 100644 src/research/content.tex (limited to 'src/research') diff --git a/src/research/content.tex b/src/research/content.tex new file mode 100644 index 0000000..52e77a2 --- /dev/null +++ b/src/research/content.tex @@ -0,0 +1,24 @@ +$4$ conference papers: CALCO 2025~\cite{aristoteActiveLearningUpwardClosed2025}; +CSL 2024~\cite{aristoteActiveLearningDeterministic2024}; LICS +2025~\cite{aristoteMonotoneWeakDistributive2025}; STACS +2025~\cite{aristoteLearningWeightedAutomata2025}. + +$1$ paper accepted to an upcoming conference (FoSSaCS 2026). + +\smallskip + +$>23$ talks given. $5$ invited talks: Oxford University, Université +Aix-Marseille ($\times 2$), Université de Rouen, Université Savoie-Mont-Blanc + +\smallskip + +\textbf{Awards:} + +\smallskip + +\cventry{CSL 2024~\cite{aristoteActiveLearningDeterministic2024}}{Helena +Rasiowa Award}{Best Student Paper}{}{}{} + +\cventry{CSL 2024~\cite{aristoteActiveLearningDeterministic2024}}{Selected +Paper}{for publication in a special issue of the LMCS +journal~\cite{aristoteActiveLearningDeterministic2025}}{}{}{} diff --git a/src/research/default.nix b/src/research/default.nix index db70f5a..f8b1363 100644 --- a/src/research/default.nix +++ b/src/research/default.nix @@ -1,43 +1,8 @@ { - data, ... }: -let - addBibResource = name: '' - \begin{filecontents*}{${name}.json} - ${builtins.toJSON data.research."${name}"} - \end{filecontents*} - \addbibresource{${name}.json} - ''; -in { - title = "Research"; - priority = 30; - extraHeader = '' - \usepackage[style=ieee]{citation-style-language} - \cslsetup{bib-item-sep = 8 pt plus 4 pt minus 2 pt} - '' - + addBibResource "conferences" - + addBibResource "journals" - + addBibResource "misc" - + addBibResource "reports"; - content = '' - \nocite{*} - - \textbf{Conference papers} - - \printbibliography[heading=none,type=paper-conference] - - \textbf{Journal papers} - - \printbibliography[heading=none,type=article-journal] - - \textbf{Not peer-reviewed} - - \printbibliography[heading=none,nottype=article-journal,nottype=paper-conference,nottype=report] - - \textbf{Reports} - - \printbibliography[heading=none,type=report] - ''; + title = "Research output"; + priority = 1; + content = builtins.readFile ./content.tex; } -- cgit v1.2.3 From f4c78d6dd3b05d4adeeb0cb7a0d6fd4a0bd07cdf Mon Sep 17 00:00:00 2001 From: aristote Date: Wed, 31 Dec 2025 12:23:03 +0100 Subject: sections: remove priority system --- src/research/default.nix | 1 - 1 file changed, 1 deletion(-) (limited to 'src/research') diff --git a/src/research/default.nix b/src/research/default.nix index f8b1363..99c6f0d 100644 --- a/src/research/default.nix +++ b/src/research/default.nix @@ -3,6 +3,5 @@ }: { title = "Research output"; - priority = 1; content = builtins.readFile ./content.tex; } -- cgit v1.2.3