Teaching
Ioana Leuştean
[RO] Taught in Romanian |
[EN] Taught in English |
Current Courses (2026–2027)
- Special Topics in Logic and Security
[EN]– M.Sc. in Security and Applied Logic, Year 2 - Concurrent Programming
[RO]– M.Sc. in Distributed Systems, Year 1 - Implementation of Concurrent Systems in Programming Languages
[RO]– B.Sc. in Computer Science, Year 3 - Logic and Functional Programming
[RO]– B.Sc. in Computers and Information Technology, Year 3
Past Courses
- Implementation of Concurrent Systems in Programming Languages
[RO]– M.Sc. in Distributed Systems, Year 1 - Functional Programming
[RO]– B.Sc. in Computer Science, Year 2 - Foundations of Programming Languages
[RO]– B.Sc. in Computer Science, Year 2 - Declarative Programming
[RO]– B.Sc. in Computer Science, Year 3 - Logic Programming
[RO]– B.Sc. in Computer Science, Year 2 - Mathematical and Computational Logic
[RO]– B.Sc. in Computer Science, Year 1 - Web Techniques
[RO]– B.Sc. in Computer Science, Year 2