Anton Wijs

[Anton Wijs @awijs]

I am excited to share that my research proposal on GPU accelerated analysis of probabilistic systems has been granted funding by NWO, as part of their Open Competition ENW-M programme!

https://t.co/JiozdalvjD

[ICT with Industry @ictwithindustry]

The organization of ICT with Industry 2023 has begun. Meet our scientific organizers Faegheh Hasibi and Anton Wijs at https://t.co/3ZmFqwhdPx. If you want to contribute, check out the call for cases (https://t.co/x3ER9ziCwM). Submissions can be made until the end of August.

[Anton Wijs @awijs]

I’m excited to share that I’ve received an Amazon Research Award for my proposal "Many-Core Acceleration of State Space Construction and Analysis" at TU/e. Learn more about the program on the @AmazonScience website: https://t.co/7GhMLUuztU #AmazonResearchAwards

[Amazon Science @AmazonScience]

We're excited to announce the 74 award recipients of the #AmazonResearchAwards' Fall 2021 cycle, representing 51 universities in 17 countries. The awards provide unrestricted funds to academic researchers investigating topics across a number of disciplines. Meet the recipients.

[Anton Wijs @awijs]

Wordle 223 5/6

⬛🟩⬛🟨⬛
⬛🟩🟩⬛⬛
⬛🟩🟩⬛⬛
⬛🟩🟩⬛🟩
🟩🟩🟩🟩🟩

[Anton Wijs @awijs]

@aserebrenik @margaretstorey @eengstrom_lu @SoftEngResGrp This is indeed interesting. I will definitely consider it!

[FACS 2017 @facs2017]

Best Student Paper Award | #FACS2017
Compositional Model Checking Is Lively by Sander de Putter and Anton Wijs
https://t.co/yFiL2m43SK

[HiPEAC Jobs @hipeacjobs]

#job at @TUeindhoven: PhD position in Eindhoven on formal verification and GPU computing https://t.co/ON9i1DFPGs

[Anton Wijs @awijs]

Not only their GPUs are green, NVIDIA's conference is as well #gtc15

[Comic-Con International @Comic_Con]

Thank you for your interest in attending Comic-Con. 4-Day Badges have sold out. We'll have single days available at a later time. #SDCC