Visits
- COQ Spring School, EPIT 2015, Mechanizing proofs of programs, Frejus, France, May 2015
- ESSLLI summer school, Barcelona, August 2015
- Mathematical Data Science Workshop, Belgrade, June 2015
- In May 2015, was the leader of a group for the competition in Mathematics I, at the famous international meeting of students of engineering, called Elektrijada that was held in Becici, Montenegro.
- In May 2016, was the leader of a group for the competition in Mathematics I, at the famous international meeting of students of engineering, called Elektrijada that was held in Rimini, Italy.