summaryrefslogtreecommitdiff
path: root/src/research
diff options
context:
space:
mode:
Diffstat (limited to 'src/research')
-rw-r--r--src/research/content.tex24
-rw-r--r--src/research/default.nix41
2 files changed, 27 insertions, 38 deletions
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;
}