_config.yml

# Basic Information 
title: Cody Rivera
position: Ph.D. Student
affiliation: University of Illinois Urbana-Champaign
affiliation_link: https://www.illinois.edu/
department_affiliation: Siebel School of Computing and Data Science
department_affiliation_link: https://siebelschool.illinois.edu/
email: codyjr3@illinois.edu

# Search Engine Optimization (SEO)
# The following information is used to improve the website traffic from search engines, e.g., Google.
keywords: cody, rivera, formal methods, verification, systems verification, intrinsic definitions
description: Cody Rivera's academic home page
canonical: https://www.codyrivera.com/

# Links 
# If you don't need one of them, you may delete the corresponding line.
cv_link: assets/files/curriculum_vitae.pdf
dblp: https://dblp.org/pid/258/3143.html
github_link: https://github.com/codyjrivera/

# Images (e.g., your profile picture and your website's favicon) 
# "favicon" and "favicon_dark" are used for the light and dark modes, respectively. 
avatar: ./assets/img/avatar.jpg
favicon: ./assets/img/favicon.png
favicon_dark: ./assets/img/favicon-dark.png

# Footnote
# You may use the option to disable the footnote, "Powered by Jekyll and Minimal Light theme."
enable_footnote: true

# Auto Dark Mode
# You may use the option to disable the automatic dark theme
auto_dark_mode: true

# Font
# You can use this option to choose between Serif or Sans Serif fonts.
font: "Serif" # or "Sans Serif"

# Use this project as a remote theme for GitHub Pages
# See the guide here: https://docs.github.com/en/pages/setting-up-a-github-pages-site-with-jekyll/adding-a-theme-to-your-github-pages-site-using-jekyll
remote_theme: yaoyao-liu/minimal-light

# The following files will be removed from the generated website.
exclude:
  - Gemfile
  - Gemfile.lock
  - README.md
  - README_zh_Hans.md
  - README_zh_Hant.md
  - README_de.md
  - LICENSE
  - minimal-light.gemspec
  - html_source_file/