PoPulate website with people. courses, etc.

probsys · Aug 24, 2023 · 6d7e762 · 6d7e762
1 parent 5652dd5
commit 6d7e762
Show file tree

Hide file tree

Showing 115 changed files with 384 additions and 15,016 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,11 +2,12 @@ _site/
 .sass-cache/
 .jekyll-cache/
 .jekyll-metadata
+Gemfile.lock
 
 # for macOS (qsu1)
 .DS_Store
 .AppleDouble
 .LSOverride
 
 .idea/
-.ruby-version
+.ruby-version
diff --git a/_announcements/2019-01-14-welcome.md b/_announcements/2019-01-14-welcome.md
diff --git a/_announcements/2019-01-28-hw1.md b/_announcements/2019-01-28-hw1.md
diff --git a/_announcements/2019-02-18-project-proposal.md b/_announcements/2019-02-18-project-proposal.md
diff --git a/_announcements/2019-02-22-hw2.md b/_announcements/2019-02-22-hw2.md
diff --git a/_announcements/2019-03-18-hw3.md b/_announcements/2019-03-18-hw3.md
diff --git a/_announcements/2019-03-22-project-midway.md b/_announcements/2019-03-22-project-midway.md
diff --git a/_announcements/2019-04-08-hw4.md b/_announcements/2019-04-08-hw4.md
diff --git a/_announcements/2019-04-25-project-posters.md b/_announcements/2019-04-25-project-posters.md
diff --git a/_config.yml b/_config.yml
@@ -1,17 +1,16 @@
 # -----------------------------------------------------------------------------
 # Site settings
 # -----------------------------------------------------------------------------
-author: SAILING lab
-name: 10-708 PGM
-title: Probabilistic Graphical Models
-email: 10708-instructor@cs.cmu.edu
-description: >
-  10-708 - Probabilistic Graphical Models - Carnegie Mellon University - Spring 2019
-footer_text: >
-  Powered by <a href="http://jekyllrb.com/" target="_blank">Jekyll</a> with <a href="https://github.com/alshedivat/al-folio">al-folio</a> theme.
+author: Principles of Programming Group
+name: PoP CMU
+title: Principles of Programming Group at CMU
+email: pop-group@cs.cmu.edu
+maintainer: Feras Saad
+description: Principles of Programming Group at Carnegie Mellon Univeristy
+footer_text:
 
-url: https://probsys.github.io  # the base hostname & protocol for your site
-baseurl:  PoP # the subpath of your site, e.g. /blog/
+url: https://probsys.github.io/  # the base hostname & protocol for your site
+baseurl: /PoP  # the subpath of your site, e.g. /blog/
 
 # -----------------------------------------------------------------------------
 # Social integration

diff --git a/_data/courses.yml b/_data/courses.yml
@@ -0,0 +1,58 @@
+- number: 15-122
+  name: Principles of Imperative Computation
+  instructor: Dilsun Kaynar; Iliano Cervesato
+
+- number: 15-150
+  name: Principles of Functional Programming
+  instructor: Stephen Brookes
+
+- number: 15-210
+  name: Parallel and Sequential Data Structures and Algorithms
+  instructor: Guy Blelloch; Charlie Garrod
+
+- number: 15-312
+  name: Foundations of Programming Languages
+  instructor: Bob Harper
+
+- number: 15-317
+  name: Constructive Logic
+  instructor: Karl Crary
+
+- number: 15-316
+  name: Software Foundations of Security and Privacy
+  instructor: Matt Fredrikson
+
+- number: 15-330
+  name: Introduction to Computer Security
+  instructor: Bryan Parno
+
+- number: 15-424
+  name: Logical Foundations of Cyber-Physical Systems
+  instructor: Stefan Mitsch
+- number: 15-814
+  name: Types and Programming Languages
+  instructor: Jan Hoffman
+
+- number: 15-816
+  name: 'Advanced Topics in Logic: Automated Reasoning and Satisfiability'
+  instructor: Marijn Heule
+
+- number: 15-836
+  name: Substructural Logics
+  instructor: Frank Pfenning
+
+- number: 15-898
+  name: Quantum Computing Systems
+  instructor: Umut Acar
+
+- number: 17-363
+  name: Programming Language Pragmatics
+  instructor: Jonathan Aldrich; Benjamin Titzer
+
+- number: 80-411
+  name: Proof Theory
+  instructor: Jeremey Avigad
+
+- number: 80-715
+  name: Seminar on Homotopy Type Theory
+  instructor: Steve Awodey