diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-12-29 21:11:15 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-12-29 21:11:15 +0100 |
| commit | df40831cad07c4b5ddfa75d05eba749e8e49367b (patch) | |
| tree | 967468fd7b716d2a96a75b36863c99b163a46c06 /src | |
| parent | 00922323db486f0837e42661f70ccff9f923e7ca (diff) | |
add research output section
Diffstat (limited to 'src')
| -rw-r--r-- | src/bibliography/default.nix | 43 | ||||
| -rw-r--r-- | src/experience/default.nix | 2 | ||||
| -rw-r--r-- | src/research/content.tex | 24 | ||||
| -rw-r--r-- | src/research/default.nix | 41 | ||||
| -rw-r--r-- | src/sections.nix | 3 | ||||
| -rw-r--r-- | src/service/default.nix | 4 |
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; |
