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.

  • 3 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

A Formalization of the LLL Basis Reduction Algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A. 4 Jul 2018 Interactive Theorem Proving: 9th International Conference, ITP 2018. Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018. Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 10895)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Formalization
LLL Algorithm
Computer Algebra
Number theory
Soundness

An Exercise in Verifying Sequential Programs with VerCors

Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M. 16 Jul 2018 6 p.

Research output: Contribution to conferencePaper

Open Access
File
File editors
Data structures

A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving

Divasón, J., Joosten, S. J. C., Thiemann, R. & Yamada, A. Jul 2018 16th International Workshop on Termination: WST 2018, July 18-19. 2018, Oxford, UK. Lucas, S. (ed.). p. 30-34 5 p.

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

Open Access
File

A verified factorization algorithm for integer polynomials with polynomial complexity

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

Research output: Contribution to journalArticle

Open Access
File
Polynomial Complexity
Factorization
Polynomial
Integer
Polynomial time

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