ANTON WIJS |
Welcome to my personal webpage! I'm an Associate Professor at Eindhoven University of Technology, where I am leading the Parallel Software Development group.
My group conducts research on applying modern parallel architectures (think of multi-core CPUs, GPUs, FPGAs) to perform (typically irregular) scientific computations. A specific application area on which we focus is program verification, for which we develop new parallel algorithms, and extend existing ones, to accelerate computations such as model checking and SAT solving.
In addition, we conduct research on improving verification techniques to reason about parallel software. A long term goal is to be able to verify the correctness of our developed algorithms using these techniques.
Feel free to have a look at my list of publications and the software tools I develop! |
![]() |
News
|
|
FSA seminar: Slides explaining my proposed assignments can be found here. |
Address: |
Postal address: |
Function: Associate Professor E-mail: A.J.Wijs <apestaartje> tue.nl Research Interests:
Current projects:
Past projects:
|
![]() |
![]() Organisational Activities:
Organising Committees:
Steering Committees:
Programme Committees:
Teaching:
Former academic functions:
|