diff --git a/_data/courses.yml b/_data/courses.yml index 46b04ab..30642d6 100644 --- a/_data/courses.yml +++ b/_data/courses.yml @@ -44,3 +44,17 @@ 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 + +- title: Functional Programming + schedule: Wednesday, 12:20, S9 + lecturer: Vít Šefl, MFF + link: https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NAIL097 + label: Learn theoretical foundations of functional programming and their uses, in particular in the environment of Haskell language. + language: English/Czech + +- title: Programming Methodology and Philosophy of Programming Languages + schedule: Summer semester 2024/2025 + lecturer: Vít Šefl, MFF + link: https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NPRG003 + label: Learn about all the programming paradigms and how programming languages evolved, from Fortran to Rust. + language: Czech diff --git a/_data/members.yml b/_data/members.yml index 4a071e3..b229d61 100644 --- a/_data/members.yml +++ b/_data/members.yml @@ -32,3 +32,10 @@ email: tomas.jakl@cvut.cz web: https://tomas.jakl.one interests: Interested in semantics properties of logics and programming languages. + +- name: Vít Šefl + photo: img/people/vit.jpg + position: PhD Student at MFF + email: sefl@ksvi.mff.cuni.cz + web: https://ksvi.mff.cuni.cz/~sefl + interests: Interested in functional programming, type systems, and theorem provers. diff --git a/img/people/vit.jpg b/img/people/vit.jpg new file mode 100644 index 0000000..48e8517 Binary files /dev/null and b/img/people/vit.jpg differ