Teaching Page

Welcome to my Web-notes! This page is specially addressed to my students from West University of Timisoara
Computer Science Department




Summer Semester 2022


    Logic and Functional Programming (Romanian, Second year bachelor)
    Automated Theorem Proving (English, First year master)

Winter Semester 2021


    Graph Theory and Combinatorics (English, Second year bachelor)
    Algorithm Synthesis and Mathematical Theory Exploration (English, Second year master)


Summer Semester 2021


    Logic and Functional Programming (Romanian, Second year bachelor)
    Automated Theorem Proving (English, First year master)

Winter Semester 2020


    Graph Theory and Combinatorics (English, Second year bachelor)
    Algorithm Synthesis and Mathematical Theory Exploration (English, Second year master)
    Formal Verification (Romanian, Second year master)


Summer Semester 2019


    Functional Programming (Romanian, Second year bachelor)
    Automated Theorem Proving (English, First year master)


Winter Semester 2019


    Logic Programming (Romanian, Second year bachelor)
    Logic Programming (English, Second year master)


Back to homepage