Institution

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi

Status

Permanent

Publications

2022

Projects

• Alk- An educational platform for learning algorithms and acquiring an algorithmic thinking
• Program Analysis and Verification