Merge branch 'gh-pages' of https://github.com/prgprg-org/prgprg-org.g…

…ithub.io into gh-pages

_data/courses.yml

@@ -22,23 +22,25 @@
 - title: Program Analysis
   schedule: Summer semester 2025
   lecturer: Filip Krikava, FIT
-  link: https://courses.fit.cvut.cz/NI-APR/index.html
+  link: https://bk.fit.cvut.cz/en/predmety/00/00/00/00/00/00/06/08/21/p6082106.html
   label: Learn how to reason about programs without running them. We cover the basic techniques of static and dynamic program analysis.
 
 - title: Runtime Systems
   schedule: Summer semester 2025
   lecturer: Filip Krikava, FIT
-  link: https://courses.fit.cvut.cz/NI-RUN/index.html
+  link: https://bk.fit.cvut.cz/en/predmety/00/00/00/00/00/00/06/11/45/p6114506.html
   label: Learn how to build a virtual machine for a JS-like programming language including AST and BC interpretation, garbage-collection and just-in-time compilation.
 
 - title: Advanced Program Testing
-  schedule: Winter Semester 2024
+  schedule: Thursday, 9:15, TK:PU1
   lecturer: Pierre Donat-Bouillud, FIT
-  link: https://courses.fit.cvut.cz/NI-APT/index.html
+  link: https://bilakniha.cvut.cz/en/predmet7585206.html#gsc.tab=0
   label: Learn how to test a program, from specification, structural, property-based, and mutation testing, to fuzzing and symbolic execution.
+  language: English
 
 - title: Programming Paradigms
   schedule: Winter Semester 2024
   lecturer: Tomáš Jakl and Jan Liam Verter, FIT
-  link: https://courses.fit.cvut.cz/NI-PPA/index.html
+  link: https://bilakniha.cvut.cz/cs/predmet6706506.html
   label: An introductory course to the theory of programming languages and to functional and logic programming.
+  language: English/Czech

_data/members.yml

@@ -3,15 +3,15 @@
   position: Postdoctoral Researcher at CTU
   email: [email protected]
   web: https://www.pdonatbouillud.com
-  interests: Interested in real time systems, multimedia systems and programming languages.
+  interests: Interested in programming languages, program analysis, and testing techniques, including fuzzing.
 
 - name: Filip Křikava
   photo: img/people/filip.jpg
   position: Associate Professor at CTU
   email: [email protected]
   web: http://fikovnik.net
   interests: Works on static and dynamic program analysis, compilers and virtual machine implementations.
-  
+
 - name: Tomas Petricek
   photo: img/people/tomas.jpg
   position: Assistant Professor at MFF
@@ -21,7 +21,7 @@
 
 - name: Jan Liam Verter
   photo: img/people/janliam.jpg
-  position: PhD Student at MFF, TA at FIT CTU
+  position: PhD Student at MFF
   email: [email protected]
   web: https://github.com/lambduli
   interests: I build small programming languages, theorem provers, and other systems related to PLT.