Welcome...

dr.ir. S.J.C. Joosten (Sebastiaan)

Researcher

Expertise

Certification
Proof Complexity
Perron-Frobenius Theorem
Lll Algorithm
Factorization
Polynomial
Approximation
Integer

Publications

Recent Articles
Divasón, J., Joosten, S., Thiemann, R., & Yamada, A. (2018). A verified LLL algorithm. Archive of Formal Proofs, 2018.
Divasón, J., Joosten, S., Kuncar, O., Thiemann, R., & Yamada, A. (2018). Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper). In Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 2-13). DOI: 10.1145/3167103
Divasón, J., Joosten, S., Thiemann, R., & Yamada, A. (2017). A formalization of the Berlekamp-Zassenhaus factorization algorithm. In CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs (pp. 17-29). Association for Computing Machinery (ACM). DOI: 10.1145/3018610.3018617

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3082
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3082
P.O. Box 217
7500 AE Enschede
The Netherlands