Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification methods, such as the model checking technique, to make sure that the designed system fulfills all user…

Artificial intelligence (AI) education is becoming an advanced learning trend in programming education. However, AI subjects can be difficult to understand because they require high programming skills and complex knowledge. This makes it challenging to determine how different departments of students are affected by them. This study draws on…

Bioinformatics is a relatively new interdisciplinary field that integrates computer science, mathematics, biology, and information technology to manage, analyze, and understand biological, biochemical and biophysical information. We present our experience in teaching an interdisciplinary course, Introduction to Bioinformatics, which was developed…