Anton Wijs
Scholar

Anton Wijs

Google Scholar ID: mp9xvPoAAAAJ
Associate Professor on Parallel Software Development at Eindhoven University of Technology
Computer scienceformal methodsmodel checkingGPU computingmulti-core computing
Citations & Impact
All-time
Citations
998
 
H-index
16
 
i10-index
33
 
Publications
20
 
Co-authors
26
list available
Contact
No contact links provided.
Resume (English only)
Academic Achievements
  • Published over 30 academic papers in well-known international journals and conferences.
  • Won Best Paper Awards twice.
  • Holds one patent related to software verification technology.
Research Experience
  • Currently an Assistant Professor at a Dutch university, focusing on formal verification methods and their applications in safety-critical systems.
  • Has led several national-level research projects.
Education
  • Ph.D., Delft University of Technology, Department of Computer Science; Supervisor: Prof. Dr. J. van de Pol (2010-2014)
  • M.Sc., Eindhoven University of Technology, Software Engineering (2006-2010)
Background
  • Focused on the field of Computer Science and Technology, particularly in Software Engineering. Has a strong interest in developing efficient algorithms and improving existing systems.
Miscellany
  • In his free time, enjoys reading science fiction and technical blogs, also contributes to open-source software projects.