5
Jules Jacobs
source link: https://julesjacobs.com/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Jules Jacobs
Publications
Drafts & Notes
Talks
Teaching
2020 Assisting Robbert Krebbers with the supervision of a master thesis project. 2020 Assisted Robbert Krebbers with the Software Verification course at TU Delft.Academic Service
2020Reviewer for ESOP'21.2020Reviewer for ICFP'20.Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK