Personal information

Countries

Netherlands

Activities

Collapse all

Employment (4)

Vrije Universiteit Amsterdam: Amsterdam, NL

2024-09-01 to present | Student Assistant (Course: Equational Programming; Networks and Graphs; Automata and Complexity) (Faculty of Science)
Employment
Source: Self-asserted source
Andy S. Tatman

University of Amsterdam: Amsterdam, NL

2024-10-27 to 2024-12 | Student Assistant (Course: Advanced Algorithms) (Faculty of Science)
Employment
Source: Self-asserted source
Andy S. Tatman

Leiden University: Leiden, Zuid-Holland, NL

2024-02-01 to 2024-07-31 | Student Assistant (Course: Computability)
Employment
Source: Self-asserted source
Andy S. Tatman

Universiteit Leiden Leiden Institute of Advanced Computer Science: Leiden, Zuid-Holland, NL

2022-02-01 to 2023-07-31 | Student Assistant (Courses: Algoritmiek' Automata Theory; Computability)
Employment
Source: Self-asserted source
Andy S. Tatman

Education and qualifications (2)

Vrije Universiteit Amsterdam: Amsterdam, Noord-Holland, NL

2023-09-01 to present | MSc Computer Science (Joint degree with the University of Amsterdam)
Education
Source: Self-asserted source
Andy S. Tatman

Universiteit Leiden Leiden Institute of Advanced Computer Science: Leiden, Zuid-Holland, NL

2021-09-01 to 2023-07-31 | BSc Informatica (Computer Science)
Education
Source: Self-asserted source
Andy S. Tatman

Works (2)

Analysis and formal specification of OpenJDK's BitSet: Proof files

Science of Computer Programming
2025-04 | Journal article
DOI: 10.1016/j.scico.2024.103232
Contributors: Andy S. Tatman; Hans-Dieter A. Hiep; Stijn de Gouw
Source: check_circle
Crossref

Analysis and Formal Specification of OpenJDK’s BitSet

2024 | Book chapter
DOI: 10.1007/978-3-031-47705-8_8
Contributors: Andy S. Tatman; Hans-Dieter A. Hiep; Stijn de Gouw
Source: check_circle
Crossref
How many people are using ORCID?