معرفی
Alcino Jan is an Associate Professor in the Department of Informatics at the University of Minho, Portugal, affiliated with a high assurance software laboratory in northern Portugal. With over 15 years of teaching experience, he specializes in making formal methods accessible to students through innovative educational tools.
- University: University of Minho
- Department: Department of Informatics
- Research Affiliation: HASLab (High Assurance Software Laboratory)
Jan's research focuses on Alloy formal specification language and educational tool development. He created 'Alloy for Fun,' an online platform that eliminates installation barriers and enables instant sharing of models through permalinks. His work addresses critical challenges in formal methods education including student-teacher communication and automated feedback systems.
He teaches a mandatory formal methods course for master's students with approximately 200 enrollees annually. His teaching innovations include challenge-based learning with immediate feedback mechanisms that scale to large class sizes.
- Research Impact: Developed techniques for annotating counterexamples to help students understand specification errors
- Educational Approach: Combines theoretical foundations with practical application through custom-developed tools
Jan has supervised multiple master's students who contributed to the evolution of Alloy for Fun over approximately five years. His current research analyzes student interaction data to identify learning breakdowns and improve formal methods pedagogy.
