Peter Gjøl Jensen
@petergjoel
Followers
163
Following
451
Statuses
232
Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
Joined July 2014
RT @RuneBirkNielsen: Super spændende forskningsprojekt af @petergjoel Der er store mængder af den nødvendige og efterspurgte fleksibilitet…
0
2
0
@TaliaRinger @JeffDean @finbarrtimbers Exactly. In the reactive synthesis world we use ML as the heuristics (or even solver) and "guard it" by a safe oracle (called a shield) for which we have formal safety guarantees. ML and formal methods work nicely in tandem.
0
0
0
RT @CompSciAAU: 🌟Imponerende! Softwarestuderende fra @aalborg_uni dyster i international konkurrence på @UCSanDiego, hvor de skal bygge ene…
0
1
0
@etienne_andre @ETAPSconf @franckDownunder , @kglaau and I solved similar problems using refinements of trace abstractions - worked nicely on larger examples, e.g. (robust) parameter synthesis for Fischers protocol.
1
0
0
RT @CompSciAAU: 🎓Attention aspiring PhD students. @DEIS_aau_dk has a number of PhD positions available in formal methods, #modelchecking, a…
0
3
0
RT @CompSciAAU: Fint, at digitaliseringsminister @marie_bjerre sletter #TikTok, men sletter hun også @instagram og @facebook, der høster mi…
0
3
0
RT @CompSciAAU: Attention👋! We are looking to further expand our academic capacity with a number of Associate and Assistant Professors (+TT…
0
16
0
@anderseiler Sonoff plejer at være mit goto for Zigbee ting, det er glimrende kvalitet og som regel billigt.
0
0
0
RT @HoseKatja: We are looking for PhD students in #DataEngineering, #KnowledgeEngineering, #GraphDataManagement, and #MachineLearning. Dea…
0
10
0
@vzverovich If you get the chance, visit Whakatipu Brewing in Queenstown, they have an amazing Pina Colada Sour (or at least had in November).
1
0
1
RT @JulieLindmann: Som @AnGuldberg og @madseriksen1208 så rigtigt påpeger her er internationale studerende en ualmindelig god forretning✨ D…
0
13
0
@dfaranha @m_outreach ... and I can maybe add that Nordea's image is not much better than Danske Bank. As I recall, they were involved in an interesting mix of armstrade & panama papers some years ago.
0
0
1
@gregcons Any hints on how to do that (Teach C++ as first language)? Teaching students the subtleties of C-string manipulation is not my favorit thing to do.
1
0
0
@caitlinmcmullin Welcome to humid Danish winter! Aalborg is 78-95% the last 24 hours, Montreal 76-35% 🥶
0
0
1
So 2023 will be the year where I (finally) turn my research on heat pump control into application - and I even got a grant to support me 💪 Thanks @Innofond !
0
1
9