Update Academic Institutions Data and Extend Data Model

data/academic_institutions/Beira.md

@@ -7,19 +7,28 @@ logo: academic_institution/beira.jpg
 continent: Europe
 courses:
     - name: Certified Programming
-      online_resource: "https://www.di.ubi.pt/~desousa/PC/pc.html"
+      url: "https://www.di.ubi.pt/~desousa/PC/pc.html"
+      year: 2016
     - name: Computation Theory
-      online_resource: "https://www.di.ubi.pt/~desousa/TC/tcomp.html"
+      url: "https://www.di.ubi.pt/~desousa/TC/tcomp.html"
+      year: 2023
+      lecture_notes: true
     - name: Computational Logic
-      online_resource: "https://www.di.ubi.pt/~desousa/LC/lc.html"
-    - name: Functional Programming, Algorithms and Data-structures
-      online_resource: "https://www.di.ubi.pt/~desousa/PF/pf.html"
+      url: "https://www.di.ubi.pt/~desousa/LC/lc.html"
+      year: 2017
+      lecture_notes: true
+      exercises: true
+    - name: Functional Programming, Algorithms, and Data Structures
+      url: "https://www.di.ubi.pt/~desousa/PF/pf.html"
+      lecture_notes: true
+      exercises: true
     - name: Programming Languages and Compilers Design
-      online_resource: "https://www.di.ubi.pt/~desousa/DLPC/dlpc.html"
+      url: "https://www.di.ubi.pt/~desousa/DLPC/dlpc.html"
+      lecture_notes: true
+      exercises: true
     - name: Proof and Programming Theory
-      online_resource: "https://www.di.ubi.pt/~desousa/TPP/tpp.html"
-    - name: Software Reliability and Security
-      online_resource: "https://www.di.ubi.pt/~desousa/Ciencia/"
+      url: "https://www.di.ubi.pt/~desousa/TPP/tpp.html"
+      year: 2016
 location:
      lat: 40.2779
      long: -7.5090

data/academic_institutions/Boston.md

@@ -6,9 +6,14 @@ url: "https://www.bc.edu/"
 logo: academic_institution/boston.png
 continent: North America
 courses:
-    - name: Computer Science I 
-      acronym: CS1101
-      online_resource: "http://www.cs.bc.edu/~muller/teaching/cs1101/s16/"
+    - name: Computer Science 1 Honors
+      acronym: CSCI 1103
+      url: "https://github.com/BC-CSCI1103/f22"
+      year: 2022
+      teacher: Robert Mueller
+      lecture_notes: true
+      description: |
+        The lecture series covered foundational OCaml programming concepts such as functions, recursion, and lists. It advanced into sorting algorithms, binary trees, and storage architecture. This series also explored hardware concepts like numeral systems, logic gates, and virtual machines. The course concluded with imperative features and dynamic storage diagrams.
 location:
      lat: 42.3355
      long: -71.1685

data/academic_institutions/Cambridge.md

@@ -8,7 +8,9 @@ continent: Europe
 courses:
     - name: Advanced Functional Programming 
       acronym: L28
-      online_resource: "https://www.cl.cam.ac.uk/teaching/1415/L28/"
+      url: "https://www.cl.cam.ac.uk/teaching/1415/L28/"
+      year: 2015
+      teacher: "Anil Madhavapeddy, Jeremy Yallop"
 location:
      lat: 52.2043
      long: 0.1149

data/academic_institutions/aix.md

@@ -6,7 +6,8 @@ url: "https://www.univ-amu.fr/en"
 logo: academic_institution/aix.jpg
 continent: Europe
 courses:
-    - name: Functional Programming   
+    - name: Functional Programming
+      teacher: Eric Wurbel
 location:
      lat: 43.3048
      long: 5.3774

data/academic_institutions/arhus.md

@@ -6,8 +6,13 @@ url: "https://international.au.dk/"
 logo: academic_institution/arhus.png
 continent: Europe
 courses:
-    - name: The compilation course (along with Java)
-      online_resource: "https://kursuskatalog.au.dk/en/course/100489/Compilation"
+    - name: Compilation
+      url: "https://kursuskatalog.au.dk/en/course/100489/Compilation"
+      teacher: "Aslan Askarov"
+      enrollment: "90"
+      year: 2024
+      description: |
+        This course covers the design and implementation of compiler and runtime systems for programming languages. The course includes a major programming project of developing a compiler from a high-level programming language to a low-level language (e.g., x86 instruction set). The contents of the course includes concrete and abstract syntax, parsing, scopes, and environments, type checking, translation to intermediate representation, basic static analysis, code generation, register allocation, and garbage collection.
 location:
      lat: 56.1681
      long: 10.2030

data/academic_institutions/bologna.md

@@ -1,17 +1,17 @@
 ---
 name: University of Bologna
 description: >
- The University of Bologna is a public research university in Bologna, Italy. Founded in 1088 by an organised guild of students (studiorum), it is the oldest university in continuous operation in the world, and the first degree-awarding institution of higher learning.
+ The University of Bologna is a public research university in Bologna, Italy. Founded in 1088 by an organised student guild (studiorum), it is the world's oldest university in continuous operation and the first degree-awarding institution of higher learning.
 url: "https://www.unibo.it/"
 logo: academic_institution/bologna.png
 continent: Europe
 courses:
     - name: Emerging Programming Paradigms
       acronym: "81672"
-      online_resource: "https://www.unibo.it/en/study/phd-professional-masters-specialisation-schools-and-other-programmes/course-unit-catalogue/course-unit/2023/479059"
-    - name: Logical basis of Computer Science
+      url: "https://www.unibo.it/en/study/phd-professional-masters-specialisation-schools-and-other-programmes/course-unit-catalogue/course-unit/2023/479059"
+    - name: Logical Basis of Computer Science
       acronym: "30214"
-      online_resource: "https://www.unibo.it/en/study/phd-professional-masters-specialisation-schools-and-other-programmes/course-unit-catalogue/course-unit/2023/479027"
+      url: "https://www.unibo.it/en/study/phd-professional-masters-specialisation-schools-and-other-programmes/course-unit-catalogue/course-unit/2023/479027"
 location:
      lat: 44.2938
      long: 11.2034

data/academic_institutions/brown.md

@@ -6,11 +6,17 @@ url: "https://www.brown.edu/"
 logo: academic_institution/brown.png
 continent: North America
 courses:
-    - name:  An Integrated introducion (along with Racket, Scala and Java)
-      acronym: CS 17/18
-      online_resource: "https://cs17-spring2021.github.io/"
+    - name:  "CS: An Integrated Introduction"
+      acronym: CSCI 0170
+      url: "https://cs.brown.edu/courses/info/csci0170/"
+      year: 2024
+    - name: Compilers and Program Analysis
+      acronym: CSCI 1260
+      url: "https://browncs1260.github.io/"
+      year: 2023
+      lecture_notes: true
+      exercises: true
 location:
      lat: 41.8268
      long: -71.4025
-
 ---

data/academic_institutions/caltech.md

@@ -7,7 +7,7 @@ logo: academic_institution/caltech.png
 continent: North America
 courses:
     - name: Fundamentals of Computer Programming
-      online_resource: "http://users.cms.caltech.edu/~mvanier/"
+      url: "http://users.cms.caltech.edu/~mvanier/"
 location:
      lat: 34.1377
      long: -118.1253

data/academic_institutions/columbia.md

@@ -7,7 +7,10 @@ logo: academic_institution/columbia.png
 continent: North America
 courses:
     - name: Programming Languages and Translators
-      online_resource: "https://www1.cs.columbia.edu/~sedwards/classes/2014/w4115-fall/index.html"
+      url: "https://www1.cs.columbia.edu/~sedwards/classes/2014/w4115-fall/index.html"
+      teacher: Stephen A. Edwards
+      year: 2014
+      lecture_notes: true
 location:
      lat: 40.8075
      long: -73.9626

data/academic_institutions/cornell.md

@@ -8,7 +8,11 @@ continent: North America
 courses:
     - name: Data Structures and Functional Programming 
       acronym: CS 3110
-      online_resource: "https://www.cs.cornell.edu/courses/cs3110/2016fa/"
+      url: "https://www.cs.cornell.edu/courses/cs3110/"
+      year: 2024
+      teacher: Michael Clarkson
+      lecture_notes: true
+      video_recordings: true
 location:
      lat: 42.4534
      long: -76.4735

data/academic_institutions/curie.md

@@ -6,12 +6,20 @@ url: "https://www.sorbonne-universite.fr/"
 logo: academic_institution/curie.jpg
 continent: Europe
 courses:
-    - name: Types and static analysis 
+    - name: Types and Static Analysis 
       acronym: 5I555
-      online_resource: "https://www-apr.lip6.fr/~chaillou/Public/enseignement/2014-2015/tas/"
+      url: "https://www-apr.lip6.fr/~chaillou/Public/enseignement/2014-2015/tas/"
+      teacher: "Emmanuel Chailloux"
+      year: 2015
+      lecture_notes: true
+      exercises: true
     - name: Models of programming and languages interoperability 
       acronym: LI332
-      online_resource: "https://www-licence.ufr-info-p6.jussieu.fr/lmd/licence/2014/ue/LI332-2014oct/"
+      url: "https://www-licence.ufr-info-p6.jussieu.fr/lmd/licence/2014/ue/LI332-2014oct/"
+      teacher: "Emmanuel Chailloux & Carlos Agon"
+      year: 2014
+      lecture_notes: true
+      exercises: true
 location:
      lat: 48.8471
      long: 2.3575

data/academic_institutions/harvard.md

@@ -8,8 +8,16 @@ continent: North America
 courses:
     - name: Principles of Programming Language Compilation 
       acronym: CS153
+      url: https://canvas.harvard.edu/courses/124796
+      teacher: "Stephen Chong"
+      year: 2023
+      lecture_notes: true
+      video_recordings: true
     - name: Introduction to Computer Science II- Abstraction & Design
       acronym: CS51
+      url: https://cs51.io/
+      teacher: "Stuart M. Shieber"
+      year: 2024
 location:
      lat: 42.3770
      long: -71.1167

data/academic_institutions/iitd.md

@@ -8,7 +8,7 @@ continent: Asia
 courses:
     - name: Introduction to Computers and Programming (along with Pascal and Java)
       acronym: CSL 101
-      online_resource: "https://www.cse.iitd.ac.in/~ssen/csl101/details.html"
+      url: "https://www.cse.iitd.ac.in/~ssen/csl101/details.html"
 location:
      lat: 28.5457
      long: 77.1928

data/academic_institutions/iitm.md

@@ -8,7 +8,11 @@ continent: Asia
 courses:
     - name: Paradigms of Programming
       acronym: CS 3100
-      online_resource: "https://kcsrk.info/cs3100_m20/"
+      url: "https://kcsrk.info/cs3100_m20/"
+      year: 2020
+      teacher: "KC Sivaramakrishnan"
+      lecture_notes: true
+      exercises: true
 location:
      lat: 12.99151
      long: 80.23362

data/academic_institutions/illinois.md

@@ -8,7 +8,12 @@ continent: North America
 courses:
     - name: Programming Languages and Compilers 
       acronym: CS 421
-      online_resource: "https://courses.engr.illinois.edu/cs421/fa2014/"
+      url: "https://courses.grainger.illinois.edu/cs421/fa2023/CS421C/index.php"
+      teacher: "Talia Ringer"
+      year: 2023
+      enrollment: "700"
+      lecture_notes: true
+
 location:
      lat: 40.1020
      long: -88.2272

data/academic_institutions/innsbruck.md

@@ -6,9 +6,12 @@ url: "https://www.uibk.ac.at/index.html.en"
 logo: academic_institution/university-of-innsbruck-logo.jpg
 continent: Europe
 courses:
-    - name: Programming in OCAML
+    - name: Programming in OCaml
       acronym: SS 06
-      online_resource: http://cl-informatik.uibk.ac.at/teaching/ss06/ocaml/schedule.php
+      url: http://cl-informatik.uibk.ac.at/teaching/ws13/fp/content.php
+      year: 2014
+      lecture_notes: true
+      exercises: true
 location:
      lat: 47.2692
      long: 11.4041

data/academic_institutions/kaist.md

@@ -8,13 +8,22 @@ continent: Asia
 courses:
     - name: Introduction to Information Security
       acronym: CS348
-      online_resource: "https://github.com/prosyslab-classroom/cs348-information-security"
+      url: "https://github.com/prosyslab-classroom/cs348-information-security"
+      year: 2023
+      teacher: Kihong Heo
+      lecture_notes: true
     - name: Program Reasoning
       acronym: CS492
-      online_resource: "https://github.com/prosyslab-classroom/cs492-program-reasoning"
+      url: "https://github.com/prosyslab-classroom/cs492-program-reasoning"
+      year: 2023
+      teacher: Kihong Heo
+      lecture_notes: true
     - name: Program Analysis
       acronym: CS524
-      online_resource: "https://github.com/prosyslab-classroom/cs524-program-analysis"
+      url: "https://github.com/prosyslab-classroom/cs524-program-analysis"
+      year: 2023
+      teacher: Kihong Heo
+      lecture_notes: true
 location:
      lat: 36.372
      long: 127.363

data/academic_institutions/laval.md

@@ -1,14 +1,15 @@
 ---
 name: Laval University 
 description: >
- Laval University is a public research university located in Quebec, Quebec, Canada.
+ Laval University is a public research university located in Quebec, Canada.
 url: "https://www.ulaval.ca"
 logo: academic_institution/ulaval_logo.png
 continent: North America
 courses:
-    - name: Langages de programmation 
+    - name: Langages de Programmation 
       acronym: IFT-3000
-      online_resource: "https://www.ulaval.ca/etudes/cours/ift-3000-langages-de-programmation"
+      url: "https://www.ulaval.ca/etudes/cours/ift-3000-langages-de-programmation"
+      year: 2024
 location:
      lat: 46.779
      long: -71.275

data/academic_institutions/los.md

@@ -8,7 +8,9 @@ continent: North America
 courses:
     - name: Programming Languages (along with Python and Java)
       acronym: CS 131
-      online_resource: "https://web.cs.ucla.edu/classes/winter18/cs131/"
+      url: "https://web.cs.ucla.edu/classes/winter18/cs131/"
+      year: 2018
+      exercises: true
 location:
      lat: 34.0689
      long: -118.4452

data/academic_institutions/maryland.md

@@ -8,7 +8,8 @@ continent: North America
 courses:
     - name: Organization of Programming Languages-(along with Ruby, Prolog, Java) 
       acronym: CMSC 330
-      online_resource: "https://github.com/umd-cmsc330"
+      url: "https://github.com/umd-cmsc330"
+      year: 2022
 location:
      lat: 38.9869
      long: -76.9426

data/academic_institutions/massachussetts.md

@@ -8,7 +8,8 @@ continent: North America
 courses:
     - name: Programming Languages 
       acronym: CS691F
-      online_resource: "https://people.cs.umass.edu/~arjun/courses/cs691f/"
+      url: "https://people.cs.umass.edu/~arjun/courses/cs691f/"
+      teacher: "Arjun Guha"
 location:
      lat: 42.3142
      long: -71.0365

data/academic_institutions/mcgill.md

@@ -8,7 +8,10 @@ continent: North America
 courses:
     - name: Programming Languages and Paradigms 
       acronym: COMP 302
-      online_resource: "https://www.mcgill.ca/study/2023-2024/courses/comp-302"
+      url: "https://www.mcgill.ca/study/2023-2024/courses/comp-302"
+      year: 2024
+      teacher: Jacob Errington
+      enrollment: "700"
 location:
      lat: 45.5048
      long: -73.5772

data/academic_institutions/nova-fct-lisbon.md

@@ -0,0 +1,18 @@
+---
+name:  NOVA FCT Lisbon
+description: >
+ NOVA School of Science and Technology (FCT) in Lisbon is a leading Portuguese institution known for its innovative research and high-quality education in engineering, science, and technology.
+url: "https://www.fct.unl.pt/en"
+logo: academic_institution/nova-fct-lisbon.png
+continent: Europe
+courses:
+    - name:  "Linguagens e Ambientes de Programação"
+      acronym: Lap-2024
+      url: "https://lap-2024.github.io/"
+      year: 2024
+      lecture_notes: true
+      exercises: true
+location:
+     lat: 38.6611525
+     long: -9.205365
+---