Scientific Visits:
 5/2018  5/2018 one week;scientific visits; Czech Technical University, Praga, Czech Republic.
 11/2017  11/2017 two weeks; scientific visits; University of Innsbruck, Innsbruck, Austria.
 11/2016  11/2016 one week;scientific visits; Czech Technical University, Praga, Czech Republic.
 10/2016  10/2016 two weeks; scientific visits; University of Innsbruck, Innsbruck, Austria.
 9/2015  9/2015 two weeks; scientific visits; University of Innsbruck, Innsbruck, Austria.
 1/2007  3/2007 two months; scientific exchange; Shinshu University, Nagano, Japan.
Grants:
Membership in Academic Societies:
100 Theorems:
List of solved formalization problems from the
Formalizing 100 Theorems:

14. Euler's Summation of 1 + (1/2)^2 + (1/3)^2 + .....
[BibTex,
Degruyter,
PDF(openaccess)]

26. The Partition Theorem.
[BibTex,
Degruyter,
PDF(openaccess)]

30. The Ballot Problem.
[BibTex,
Degruyter,
PDF(openaccess)]

36. Brouwer Fixed Point Theorem.
[BibTex,
Degruyter,
PDF(openaccess)]

39. Solutions to Pell's Equation.
[BibTex,
Degruyter,
PDF(openaccess)]

45. The Partition Theorem.
[BibTex,
Degruyter,
PDF(openaccess)]

58. Formula for the Number of Combinations.
[BibTex,
Publisher's site,
PDF(openaccess)]

83. The Friendship Theorem.
[BibTex,
Degruyter,
PDF(openaccess)]

96. Principle of Inclusion/Exclusion.
[BibTex,
Publisher's site,
PDF(openaccess)]

97. Cramer's Rule.
[BibTex,
Degruyter,
PDF(openaccess)]