
Peter Gjøl Jensen
@petergjoel
Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
ID: 2695520167
31-07-2014 11:31:58
231 Tweet
159 Takipçi
521 Takip Edilen


De Europæiske Cybermesterskaber forløb over 2 dage, hver dag en ny slags konkurrence (Jeopardy+AD). Danmark vandt begge! Det er så flot af Cyberlandsholdet. Vi lander i Kbh kl 16.50 idag, og tager til AAU CPH i Sydhavnen, hvor ALLE er velkomne til at tage imod ca. 17.30. #dkmedier


Digital Tech Summit 2022 is coming up! Researchers from Department of Computer Science, Aalborg University will be giving talks on some of the most pressing societal issues. Check out details on the individual sessions: cs.aau.dk/news-and-event… #digitaltechsummit2022


Finally! After 2 years of rescheduling, the Bertinoro Network Verification and Automation seminar NetVAS takes place! Thanks to @wwtf, and thanks everyone for the great talks, all slides soon at netvas22.bici.events/program! With Kim G Larsen


Department of Computer Science, Aalborg University has come out in full force at this year's NetVAS Network Verification and Automation Seminar (18-19 October) with talks by Kim G Larsen, Jiri Srba, Martin Zimmermann and Peter Gjøl Jensen. Check out abstracts: lnkd.in/e_9QCDjx #network #verification #automation


.Get ready for some exciting sessions at Digital Tech Summit 2022 on #digitalhealth, #digitalenergy, digital urban #watermanagement and secure #softwareengineering. Session details: cs.aau.dk/news-and-event… Katja Hose Torben Bach Pedersen Peter Gjøl Jensen Thomas Dyhre Nielsen


Preliminary research shows that novel intelligent heat pump control system from @DEIS_aau_dk can save up to 30 % of the energy cost while maintaining comfort of the residents. Interview with Peter Gjøl Jensen whom you can also meet Digital Tech Summit 2022 bit.ly/3DD7u6l #energy #heating

.Peter Gjøl Jensen, Assistant Professor, Department of Computer Science, Aalborg University at Digital Tech Summit 2022 on how creating a heating strategy for a building through pairing #digitaltwin tech with #reinforcementlearning can reduce energy costs with up to 30 %. @DEIS_aau_dk






Som Aske Nydam Guldberg og Mads Eriksen Storm så rigtigt påpeger her er internationale studerende en ualmindelig god forretning✨ De beriger både vores samfundøkonomi og vores studiemiljøer. Så lad os nu gøre noget ved det og fjerne loftet over internationale studerende


Fint, at digitaliseringsminister Marie Bjerre sletter #TikTok, men sletter hun også Instagram og Facebook, der høster mindst lige så mange personlige data? spørger sikkerhedsekspert René Rydhof Hansen, fra @DEIS_aau_dk Department of Computer Science, Aalborg University, i denne podcast. bit.ly/3YsXHqD



🌟Imponerende! Softwarestuderende fra Aalborg Universitet dyster i international konkurrence på UC San Diego, hvor de skal bygge energieffektive #supercomputere! 💪💻 Det er virkelig #Videnforverden #sustainablecomputing linkedin.com/posts/departme…


Super spændende forskningsprojekt af Peter Gjøl Jensen Der er store mængder af den nødvendige og efterspurgte fleksibilitet i vores eksisterende energisystem. #dkgreen pro.ing.dk/gridtech/holdn…