summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-12-29 21:11:15 +0100
committeraristote <quentin.aristote@irif.fr>2025-12-29 21:11:15 +0100
commitdf40831cad07c4b5ddfa75d05eba749e8e49367b (patch)
tree967468fd7b716d2a96a75b36863c99b163a46c06 /src
parent00922323db486f0837e42661f70ccff9f923e7ca (diff)
add research output section
Diffstat (limited to 'src')
-rw-r--r--src/bibliography/default.nix43
-rw-r--r--src/experience/default.nix2
-rw-r--r--src/research/content.tex24
-rw-r--r--src/research/default.nix41
-rw-r--r--src/sections.nix3
-rw-r--r--src/service/default.nix4
6 files changed, 75 insertions, 42 deletions
diff --git a/src/bibliography/default.nix b/src/bibliography/default.nix
new file mode 100644
index 0000000..bf4bc27
--- /dev/null
+++ b/src/bibliography/default.nix
@@ -0,0 +1,43 @@
+{
+ data,
+ ...
+}:
+let
+ addBibResource = name: ''
+ \begin{filecontents*}{${name}.json}
+ ${builtins.toJSON data.research."${name}"}
+ \end{filecontents*}
+ \addbibresource{${name}.json}
+ '';
+in
+{
+ title = "Bibliography";
+ 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]
+ '';
+}
diff --git a/src/experience/default.nix b/src/experience/default.nix
index cf025bb..96bf847 100644
--- a/src/experience/default.nix
+++ b/src/experience/default.nix
@@ -9,7 +9,7 @@ let
in
{
title = "Experience";
- priority = 0;
+ priority = 15;
content =
with latex;
for (sort.reverse.byFun (x: with x.date.start; day + 100 * month + 10000 * year) experience) (
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;
}
diff --git a/src/sections.nix b/src/sections.nix
index 1c5fbd4..fc749d7 100644
--- a/src/sections.nix
+++ b/src/sections.nix
@@ -14,7 +14,8 @@ in
builtins.map makeSection [
./experience
./education
+ ./research
./service
./languages
- ./research
+ ./bibliography
]
diff --git a/src/service/default.nix b/src/service/default.nix
index 7dd1ca8..0b40956 100644
--- a/src/service/default.nix
+++ b/src/service/default.nix
@@ -9,7 +9,7 @@ let
in
{
title = "Academic service";
- priority = 15;
+ priority = 2;
content = [
(
with service.reviews;
@@ -18,7 +18,7 @@ in
name: years: "${name} ${lib.concatMapStringsSep ", " builtins.toString years}"
) conferences.names;
in
- "I have reviewed ${builtins.toString conferences.number} conference papers (${conferenceList})."
+ "${builtins.toString conferences.number} conference papers reviews: ${conferenceList}. \\\\"
)
(
with latex;