Fall semester   


	
AIsPD(AI solutions-based Projects Development) - Artificial Intelligence - link  
	
CMES (Computational models for embedded systems) - Master SI and SDI - link  	
	
ATST (Advanced Topics in Software Testing) - Master - SI and SDI  and BD - link


Spring semester   


	
SSVV - Software Systems Verification and Validation (Computer Science - eng) - link 


	
SE - Software Engineering (Information Engineering - eng) - link 


	
ERMCS - Empirical Research Methods for Computer Scientists (Master - SE, DB, HPC&BDA, DS-IS ) - link 
    (Master Sections: Software Engineering, Databases, High Performance Computing and Big Data Analytics, Data Science for Industry and Society)


	


	
PBT - Preparation of Bachelor Thesis (Computer Science - eng) - link
	
	
PBT - Preparation of Bachelor Thesis (Artificial Intelligence - eng) - link