diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-12-31 12:56:08 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-12-31 12:56:08 +0100 |
| commit | c8e75c6579a499280085457a10dc1ef15ef8a6b8 (patch) | |
| tree | 21af1bccb66095b2b13140da41c2a4e0a96f9094 /src | |
| parent | 84545ccfb25ecae35eaf89ff8d00feef469e869a (diff) | |
| parent | c9d07024266f13fcb91a1923c81e43bca240f773 (diff) | |
Merge branch 'pocococop'
Diffstat (limited to 'src')
| -rw-r--r-- | src/bibliography/default.nix | 42 | ||||
| -rw-r--r-- | src/default.nix | 2 | ||||
| -rw-r--r-- | src/education/default.nix | 1 | ||||
| -rw-r--r-- | src/experience/default.nix | 3 | ||||
| -rw-r--r-- | src/languages/default.nix | 9 | ||||
| -rw-r--r-- | src/research/content.tex | 24 | ||||
| -rw-r--r-- | src/research/default.nix | 40 | ||||
| -rw-r--r-- | src/sections.nix | 15 | ||||
| -rw-r--r-- | src/service/default.nix | 3 |
9 files changed, 88 insertions, 51 deletions
diff --git a/src/bibliography/default.nix b/src/bibliography/default.nix new file mode 100644 index 0000000..b34ada4 --- /dev/null +++ b/src/bibliography/default.nix @@ -0,0 +1,42 @@ +{ + data, + ... +}: +let + addBibResource = name: '' + \begin{filecontents*}{${name}.json} + ${builtins.toJSON data.research."${name}"} + \end{filecontents*} + \addbibresource{${name}.json} + ''; +in +{ + title = "Bibliography"; + 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/default.nix b/src/default.nix index dbc9fca..cd5c9cf 100644 --- a/src/default.nix +++ b/src/default.nix @@ -6,7 +6,7 @@ }: with latex; let - sections = sort.byKey "priority" (make ./sections.nix { }); + sections = make ./sections.nix { }; in with data.basics; lines [ diff --git a/src/education/default.nix b/src/education/default.nix index 8d373f8..b2e6289 100644 --- a/src/education/default.nix +++ b/src/education/default.nix @@ -10,7 +10,6 @@ let in { title = "Education"; - priority = 10; content = with latex; for (sortByStartDate education) ( diff --git a/src/experience/default.nix b/src/experience/default.nix index cf025bb..288dd37 100644 --- a/src/experience/default.nix +++ b/src/experience/default.nix @@ -9,7 +9,6 @@ let in { title = "Experience"; - priority = 0; content = with latex; for (sort.reverse.byFun (x: with x.date.start; day + 100 * month + 10000 * year) experience) ( @@ -20,7 +19,7 @@ in institution.location ( if item ? supervisors then - "supervised by " + "with " + lib.concatStringsSep " \\& " (for supervisors (supervisor: with supervisor; href url name)) else "" diff --git a/src/languages/default.nix b/src/languages/default.nix index b00efc6..9f86c89 100644 --- a/src/languages/default.nix +++ b/src/languages/default.nix @@ -5,7 +5,6 @@ ... }: let - languages = data.languages; sortByProficiency = lib.sort ( lang1: lang2: let @@ -17,14 +16,16 @@ let in { title = "Languages"; - priority = 20; extraHeader = '' \usepackage{emoji} \setemojifont{NotoColorEmoji.ttf}[Path=./fonts/] + \usepackage{multicol} ''; content = with latex; - for (sortByProficiency languages) ( - lang: with lang; moderncv.cvline "${name} \\emoji{${icon.shortcode}}" proficiency + environmentWithOpts "multicols" [ "2" ] ( + for (sortByProficiency data.languages) ( + lang: with lang; moderncv.cvline "${name} \\emoji{${icon.shortcode}}" proficiency + ) ); } 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..99c6f0d 100644 --- a/src/research/default.nix +++ b/src/research/default.nix @@ -1,43 +1,7 @@ { - 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"; + content = builtins.readFile ./content.tex; } diff --git a/src/sections.nix b/src/sections.nix index 1c5fbd4..aa2c527 100644 --- a/src/sections.nix +++ b/src/sections.nix @@ -5,8 +5,8 @@ }: let sectionTemplate = section: { - inherit (section) title priority; - extraHeader = if section ? extraHeader then section.extraHeader else ""; + inherit (section) title; + extraHeader = section.extraHeader or ""; content = latex.section section.title section.content; }; makeSection = path: sectionTemplate (make path { }); @@ -14,7 +14,16 @@ in builtins.map makeSection [ ./experience ./education + ./research ./service ./languages - ./research +] +++ [ + { + extraHeader = ""; + content = '' + \newpage + ''; + } + (makeSection ./bibliography) ] diff --git a/src/service/default.nix b/src/service/default.nix index 7dd1ca8..6e183c9 100644 --- a/src/service/default.nix +++ b/src/service/default.nix @@ -9,7 +9,6 @@ let in { title = "Academic service"; - priority = 15; content = [ ( with service.reviews; @@ -18,7 +17,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; |
