![Peter Gjøl Jensen](https://popl22.sigplan.org/getProfileImage/petergjljensen/db59bce9-1922-4a53-914f-52d682a326c6/small.jpg?1711660374000)
Registered user since Tue 27 Oct 2020
Name:Peter Gjøl Jensen
Country:Denmark
Affiliation:Aalborg University, Denmark
X (Twitter): https://x.com/petergjoel
GitHub: https://github.com/petergjoel
Research interests:Formal Methods, Reinforcement Learning, Distributed Systems
Contributions
POPL 2022-profile
View general profile
View general profile