Klaus v. Gleissenthall
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
Do you want to work on security at the interface of hardware and software? Do you like programming languages, types, formal methods, and security? Do you want to do all that in beautiful Amsterdam? I still have open PhD positions on an ERC funded project at VU Amsterdam. Get in touch!
November 30, 2024 at 7:48 PM
Do you want to work on security at the interface of hardware and software? Do you like programming languages, types, formal methods, and security? Do you want to do all that in beautiful Amsterdam? I still have open PhD positions on an ERC funded project at VU Amsterdam. Get in touch!