Peter Gjøl Jensen @petergjoel
Universal toolmaker at @aautech, preaching the gospel of Formal Methods. Joined July 2014-
Tweets231
-
Followers155
-
Following517
-
Likes433
Super spændende forskningsprojekt af @petergjoel Der er store mængder af den nødvendige og efterspurgte fleksibilitet i vores eksisterende energisystem. #dkgreen pro.ing.dk/gridtech/holdn…
🌟Imponerende! Softwarestuderende fra @aalborg_uni dyster i international konkurrence på @UCSanDiego, hvor de skal bygge energieffektive #supercomputere! 💪💻 Det er virkelig #Videnforverden #sustainablecomputing linkedin.com/posts/departme…
🎓Attention aspiring PhD students. @DEIS_aau_dk has a number of PhD positions available in formal methods, #modelchecking, and #machinelearning for cyber-physical systems. Join us and work on cutting-edge projects funded by VILLUM INVESTIGATOR (S4OS) lnkd.in/eUJ3z_mY
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 @CompSciAAU, i denne podcast. bit.ly/3YsXHqD
Attention👋! We are looking to further expand our academic capacity with a number of Associate and Assistant Professors (+TT) in #computerscience More information👉cs.aau.dk/Vacancies/ #hiring #jobsearch #recruiting #applynow #sciencejobs
We are looking for PhD students in #DataEngineering, #KnowledgeEngineering, #GraphDataManagement, and #MachineLearning. Deadline February 10, 2023! Please reach out if you have any questions! stillinger.aau.dk/vis-stilling/?… #PhDposition #DataIntegration #KnowledgeGraphs
Som @AnGuldberg og @madseriksen1208 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
Som @AnGuldberg og @madseriksen1208 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
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 ! linkedin.com/posts/aau-tech…
We are looking to appoint a number of Assistant Professors (with possibility of TT) for our Copenhagen Campus. This branch will over time build its own research profile and capacity, growing to around 20 scientific staff by 2025. Info 👉 stillinger.aau.dk/vis-stilling/?… #AcademicTwitter
De lave energipriser holder ikke længe. Spar fortsat på energien. dr.dk/nyheder/penge/…
We are looking for a postdoc in probabilistic machine learning. If you want to be part of a great team working on basic machine learning methods with applications in bioinformatics, don't hesitate to reach out. homes.cs.aau.dk/~tdn/position.…
.@petergjoel, Assistant Professor, @CompSciAAU at @DTS2021 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
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 @petergjoel whom you can also meet @DTS2021 bit.ly/3DD7u6l #energy #heating
.Get ready for some exciting sessions at @DTS2021 on #digitalhealth, #digitalenergy, digital urban #watermanagement and secure #softwareengineering. Session details: cs.aau.dk/news-and-event… @HoseKatja @torbenbachp @petergjoel @tdyhren
@CompSciAAU has come out in full force at this year's NetVAS Network Verification and Automation Seminar (18-19 October) with talks by @kglaau, Jiri Srba, Martin Zimmermann and @petergjoel. Check out abstracts: lnkd.in/e_9QCDjx #network #verification #automation
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 @kglaau
Medicinstuderende Marie Strøyberg stiller meget relevant spørgsmål i @nordjyskedk: Er hendes forskningsbaseret uddannelse mindre værd fordi hun studerer i Aalborg og ikke hovedstaden? Den skæve fordeling af basisforskningsmidler skader studerende, forskning og Nordjylland #uddpol
Digital Tech Summit 2022 is coming up! Researchers from @CompSciAAU 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
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 @Cyberlandshold. 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
DANMARK har vundet #ecsc2022!!! #dkmedier #dkpol #cybersikkerhed @Cybersikkerhed @industriensfond
Riley_Davis @RileyDavis45134
10 Followers 267 Following
Jonas Brusokas @jobruso
19 Followers 95 Following
EATCS @eatcs_secretary
680 Followers 72 Following European Association for Theoretical Computer Science
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
Prince Kudu'Ra @amiribarksdale
143 Followers 837 Following Emissary of New Dithyrambia. Homo epanastatikós eikonomáchos. Reality™ opponent. Dancer, plucker of living flowers. Failed painter.
Daniele Dell'Aglio @dandellaglio
453 Followers 874 Following Associate professor at @CompSciAAU. Interested in evolving graphs that want to be processed. Lived in 🇩🇰🇨🇭🏴🇮🇪🇦🇹🇮🇹
andresmasegosa @andresmasegosa
215 Followers 648 Following Associate Professor at Aalborg University (Copenhagen Campus - Denmark). Probabilistic Machine Learning.
Martin Lindrup @martin_lindrup
30 Followers 91 Following
Shoaib Saleem @shoaibsaleem130
10 Followers 156 Following
Lene Horn @LeneHorn4
13 Followers 64 Following
Aalborg Universitet @aalborg_uni
1K Followers 391 Following Officiel Twitterprofil for Aalborg Universitet. Tweets på dansk om #VidenforVerden, #dkforsk, #uddpol, samarbejde og nyheder fra #aau
Data, Knowledge, and ... @dkw_aau
105 Followers 35 Following Data, Knowledge, and Web Engineering group at the Department of Computer Science at Aalborg University @CompSciAAU
Tephilla Prince @tephillaprince
57 Followers 192 Following Logician/Engineer/Formal Methods Enthusiast | PhD scholar @IITDh | Enjoys programming & poetry way too much | currently into Model Checking
Chimi Wangmo @chim3yy
9 Followers 79 Following Passionate educator, women in tech and always dedicated to learning.
André Lamúrias @lamurias
100 Followers 448 Following
Ayana M @Ayana_Monr
162 Followers 294 Following Former @MSFTResearch Intern | @HATlabclemson & IISL@UNC Research Assistant | @css_unc Distinguished Scholar | HCI + Transparency | Applying to PhD Programs!
Stine Johansen @UrbanPenguin_DK
122 Followers 210 Following Ph.D., Human-Centred Computing, Aalborg University Postdoctoral Research Fellow, Australian Cobotics Centre, QUT #HCI #HumanRobotInteraction #Soundscape
reachAAUt @reachAAUt
131 Followers 187 Following Twitter connected to ReachAAUt - Research Network for digital research dissemination. Join here: https://t.co/fbzlujYP46 #AAU #Research
Bogdan Aman @BogdanAman
83 Followers 456 Following Editor-in-chief of Diamond Open Access Journal Scientific Annals of Computer Science (SACS) https://t.co/k2LnU7guC1
Fernando Castor @fernandocastor
1K Followers 664 Following @UTwente and @CInUFPE. I think I will take some time off Twitter, since it's owner is a real-world Cyberpunk villain.
Jürgen Cito @citostyle
2K Followers 1K Following Visiting Researcher @Google, CS Professor @tu_wien, Programming
Louise Møller Haase @mollerhaase
91 Followers 198 Following Prodekan for uddannelse, Det Tekniske Fakultet for IT og Design, AAU Kontakt: +45 61 46 93 72; [email protected]
Kathrin Hanauer @KathrinHanauer
76 Followers 143 Following Assistant professor @univienna, interested in (dynamic )?(graph )? algorithm(s| engineering)|graph theory 🐿️
Thomas Bak @aautechdekan
605 Followers 684 Following Dekan, Det Tekniske Fakultet for IT og Design, AAU Digitalisering er en forudsætning for den grønne omstilling Kontakt: +45 25 67 49 89; [email protected]
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Federico Mari @_Federico_Mari
122 Followers 261 Following Associate Professor #uniroma4 #ModelChecking-based algorithms&tools for verification&synthesis of #MissionCritical #SafetyCritical #CyberPhysicalSystems.
Thomas Møller Grosen @ThomasGrosen
1 Followers 10 Following PhD fellow at Aalborg University in Denmark. Studying formal methods of timed systems.
Urbit København @UrbitCPH
708 Followers 3K Following Alan Kay-'97: The Computer Revolution Hasn’t Happened Yet @urbit-'08: Nock 13K–Computing for the people using Maxwell's equations of software Join us in #CPH
Bernd Finkbeiner @FinkbeinerBernd
563 Followers 380 Following Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.
Alireza Farhadi @AlirezaTCS
53 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
Daishengxin @Daishengxin
0 Followers 80 Following
FACS 2024 @facs_conf
186 Followers 535 Following 20th edition of the International Conference on Formal Aspects of Component Software
George Pîrlea @GeorgePirlea
853 Followers 4K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Hans-Jörg @_hansjoerg
71 Followers 181 Following Leading vendor of theorem proving middle ware • PhD student @inria_nancy • Core developer of the veriT SMT solver
Michael Kvist Svangre... @KvistSvangren
12 Followers 25 Following Asst. Prof. @ Aalborg University — HCI — Researching energy consumption and mobility. Proud Dad (3 girls) | Runner | Sax Player | Gastroman
Torben Bach Pedersen @torbenbachp
274 Followers 194 Following Big Data Analytics Professor @DaisyAAUDK, CSO @FlexShape
Anastasia Mavridou @anmavrid
373 Followers 368 Following Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPv
FMASWorkshop @FmasWorkshop
536 Followers 1K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck
BCS Human-Computer In... @BCSHCI2024
310 Followers 1K Following 37th International BCS Human Computer Interaction Conference 15-17th July 2024, University of Central Lancashire, UK
Mads Græsbøll Chris... @madsaudio
261 Followers 292 Following I am Head of Dept. and Professor at Dept. of Electronic Systems, Aalborg University. My research is audio for good health and well-being.
Falke @falkecarlsen
14 Followers 235 Following CompSci student at AAU, volunteer, hacker (as in bricking own devices), he/him.
Rune Birk Nielsen @RuneBirkNielsen
937 Followers 746 Following Presse- og kommunikationschef @DkFjernvarme +45 2490 4197 [email protected]. Lidt af det jeg retweeter, mener jeg også.
Fesshole🧻 @fesshole
1.1M Followers 503 Following Confess your sins anon - will the internet absolve you? ADD FESS https://t.co/B6Bo42Rzeh LIVE SHOW TICKETS https://t.co/OBRqMIHFJk
EATCS @eatcs_secretary
680 Followers 72 Following European Association for Theoretical Computer Science
Einar Broch Johnsen @ebjohnsen
561 Followers 470 Following Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]
Maria Christakis @mchri5taki5
662 Followers 327 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Leo Lampropoulos @LeoLambro
1K Followers 623 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Daniele Dell'Aglio @dandellaglio
453 Followers 874 Following Associate professor at @CompSciAAU. Interested in evolving graphs that want to be processed. Lived in 🇩🇰🇨🇭🏴🇮🇪🇦🇹🇮🇹
Jan Kronqvist @JanKronqvist
591 Followers 397 Following Assistant Professor, Optimization and Systems Theory, KTH Royal Institute of Technology
Carolin Brandt 🐳 @laci_noire
697 Followers 718 Following Assistant Professor @ TU Delft Embedding users into how we develop software and automation tools 👩🏽💻↔️🛠️ https://t.co/ramjoz73AG
Anastasia Isychev @izycheva
387 Followers 117 Following postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
andresmasegosa @andresmasegosa
215 Followers 648 Following Associate Professor at Aalborg University (Copenhagen Campus - Denmark). Probabilistic Machine Learning.
Fabrice Kordon @fabricekordon
238 Followers 23 Following Professeur en informatique à Sorbonne Université et directeur du LIP6.
ETAPS Conferences (no... @ETAPSconf
346 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
M. Lissandrini @Kuzeko
493 Followers 228 Following Associate Prof. @UniVerona 🇮🇹 - I provide means for Knowledge Exploration (He/Him) - @DataExample @SEADataConf @EDAO_eu Est. 2009-11-06 16:21:14
Robbie Netzorg @RNetzorg
407 Followers 696 Following CS PhD Student @ UC Berkeley. Speech + AI. She/her.
Lars Birkedal @BirkedalLars
62 Followers 30 Following
Henrik Madsen @henrikmad
204 Followers 68 Following Professor in Math Statistics since 1999. Wind and Solar Power forecasting expert. Head of CITIES (http://t.co/WLP2lzQ0Gv) - Smart Grids and Energy Systems.
Neurion @neurionco
359 Followers 2 Following A tool for thought built on top of a new functional programming language. 🪄 A general-purpose power tool for creative individuals and cross-functional teams.
Lene Horn @LeneHorn4
13 Followers 64 Following
Ann-Louise Andersen @annloua
112 Followers 225 Following Associate Professor at @Aalborg_uni working on changeable, reconfigurable and sustainable production 🇩🇰
Tomer Sagi @sagi_tomer
71 Followers 104 Following Associate Professor at Aalborg University department of Computer Science. Using twitter to research people using twitter...
Kelsey Doerksen @spacecadet_kels
4K Followers 633 Following AI PhD @OATML_Oxford 👩🏼🎓 | Machine Learning for Science Discovery @NASAJPL 💫 | 🇨🇦
Cejna Quist-Jensen @CejnaQuist
352 Followers 275 Following Assoc. Prof | Membrane Technology, Recovery of minerals and metals, Mining from waste, Water and wastewater treatment 🌍💧☀️
aladhami @aladhami
11K Followers 409 Following Journalist, men mest gøgler på DR. Fang mig på [email protected]
Sarah Andersen @SarahCAndersen
879K Followers 2K Following Author of Sarah's Scribbles, FANGS, and Cryptid Club she/her No NFTs 🚫 no A.I. Publishing inquiries: [email protected]
Aalborg Universitet @aalborg_uni
1K Followers 391 Following Officiel Twitterprofil for Aalborg Universitet. Tweets på dansk om #VidenforVerden, #dkforsk, #uddpol, samarbejde og nyheder fra #aau
Henrik Pedersen @HenrikP55
25 Followers 33 Following Professor, Institut for Matematiske Fag, Aalborg Universitet Kontakt: +45 60 11 27 87 / e-mail: [email protected]
Yes, But @_yesbut_
731K Followers 1 Following Official YES, BUT series by @like_gudim https://t.co/SubYEcH8wY https://t.co/QieStKVXDA
Data, Knowledge, and ... @dkw_aau
105 Followers 35 Following Data, Knowledge, and Web Engineering group at the Department of Computer Science at Aalborg University @CompSciAAU
Frede Vad Fuck Sagde ... @RdToksv
3K Followers 65 Following Ryggesløs kujon uden smag for ærlig kritik. Derudover forfatter af succesløse bøger og politisk korrekt kulturmarxist fra helvede
@[email protected] @lemmster
1K Followers 553 Following Principal Research Software Engineer at Microsoft Research
Tephilla Prince @tephillaprince
57 Followers 192 Following Logician/Engineer/Formal Methods Enthusiast | PhD scholar @IITDh | Enjoys programming & poetry way too much | currently into Model Checking
Embedsværftet @Embedsvaerft
3K Followers 4 Following Crowdfunded satirestribe støttet af Danmarks sejeste og dejligste politiknørder Støt os: https://t.co/Hlmik2qxJ3 💬 @DenSimonAstrup ✏️ @Lundsfryd
Robotto Co @robottoco
83 Followers 150 Following Detect. Analyze. Report. Repeat. Upgrading detection and understanding key data points across industries in real time.
André Lamúrias @lamurias
100 Followers 448 Following
alisa ananjeva @AAnanjeva
11 Followers 30 Following
Sanna Marin @MarinSanna
614K Followers 619 Following Former Prime Minister of Finland. My upcoming book Hope in Action will be released on November 4th.
Cecilie Uttrup Ludwig @CUttrupLudwig
31K Followers 351 Following 🚲 Danish Pro Cyclist @wmncycling 📧 Contact: [email protected]
Daniel Kroening @DiffKroening
306 Followers 446 Following Co-Founder of @diffbluehq | Professor of computer science at @UniofOxford | Advancing #AI and the future of code.
Ayana M @Ayana_Monr
162 Followers 294 Following Former @MSFTResearch Intern | @HATlabclemson & IISL@UNC Research Assistant | @css_unc Distinguished Scholar | HCI + Transparency | Applying to PhD Programs!
Justin Svegliato @justinsvegliato
1K Followers 372 Following Senior Research Scientist @Microsoft and @UCBerkeley. PhD @UMassAmherst. Building AI assistants with planning, RL, and LLMs.
no context memes @weirddalle
2.1M Followers 583 Following making memes at @memelordtech | @weirddalleslop | create your own memes easily here 👇 try for free
Anders Møller @amoellercsaudk
518 Followers 222 Following Co-founder @ Coana | Professor at Aarhus University ⇒ https://t.co/DKgUDms7HT
Anja C. Andersen @DustAnja
9K Followers 421 Following Professor at the Niels Bohr Institute with focus on the Universe. Tweets on astrophysics, gender and education.
greg @greg16676935420
1.2M Followers 508 Following im greg I like football and stocks and my birthday im from kentuckey. I'm a investor. I like to golf at the golf course. subscribe for just 10¢ a day ⤴️
Stine Johansen @UrbanPenguin_DK
122 Followers 210 Following Ph.D., Human-Centred Computing, Aalborg University Postdoctoral Research Fellow, Australian Cobotics Centre, QUT #HCI #HumanRobotInteraction #Soundscape
reachAAUt @reachAAUt
131 Followers 187 Following Twitter connected to ReachAAUt - Research Network for digital research dissemination. Join here: https://t.co/fbzlujYP46 #AAU #Research
Yao Li @lastland0
1K Followers 670 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]Trends for United States
You might like
