Sebastiaan Jozef Christiaan Joosten

dr.ir.

20172018
If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

PhD, Eindhoven University of Technology

Keywords

  • QA75 Electronic computers. Computer science
  • Formal methods
  • Logic
  • Verification

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Subresultants Mathematics
Context free grammars Engineering & Materials Science
Polynomial Complexity Mathematics
Formalization Mathematics
Factorization Mathematics
Polynomial Mathematics
XML Engineering & Materials Science
Printing Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2017 2018

  • 2 Conference contribution
  • 1 Article

A verified LLL algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A. 2018 In : Archive of Formal Proofs. 2018

Research output: Contribution to journalArticle

Open Access
File
Polynomials
Number theory
Textbooks
Computer science
Computational complexity

Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper)

Divasón, J., Joosten, S., Kuncar, O., Thiemann, R. & Yamada, A. 2018 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. p. 2-13 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citations

A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A. 2017 CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 17-29 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Factorization
Polynomials
Experiments