Mirco Giacobbe @mircogiacobbe Twitter Profile | Xstalk

Mirco Giacobbe

@mircogiacobbe

Computer scientist @unibirmingham. Making artificial intelligence safe

21Posts 56Followers 249Following

Similar User

@ETAPSconf

@beyer_dirk

@frenkel_hadar

@confCAV

@TheBorzoo

@cps_usc

@XinQin4

@thenzinger

@saeid_tizpaz

@pastankaitis

@GoranFrehse

Mirco Giacobbe

5 Nov 2023

Hey, we are recruiting PhD students at Birmingham in all areas of computer science 🔥 birmingham.ac.uk/schools/comput…

Mirco Giacobbe Reposted

〚Dan R. Ghica〛

28 Jul 2022

🔥Full time lectureships at the University of Birmingham🔥 Currently rated 3rd overall in the UK for CS research 🥉 Link below is for security, PL, verification, compilers. Please apply! Please contact me if any questions! [RTs appreciated] bham.taleo.net/careersection/…

Mirco Giacobbe Reposted

木遥

26 Jul 2021

在微博上看到这个，笑死 log(😅) =💧log😄

Mirco Giacobbe Reposted

INGVterremoti

12 Jul 2021

Campioni d'Europa! ingvterremoti.com/2021/07/12/cam…

Tweet Image

Campioni d’Europa!

Source: https://t.co/1WdthE5rnD

Mirco Giacobbe Reposted

Jens von Bergmann

17 Mar 2021

I have been thinking about how different people interpret data differently. And made this xkcd style graphic to illustrate this.

Tweet Image 1

Mirco Giacobbe

4 May 2015

git - the simple guide - no deep shit! rogerdudler.github.com/git-guide #git via @rogerdudler

Mirco Giacobbe

15 May 2010

This is my first tweet!! Woooho

Raven

@ToslestmYC1H

Mahboobe Haddadi

@mahboobehads

Tishess

@TishessDZy9zpv

Chearez

@ChearezvMg

Jamie Moore

@JamieMoore10431

Assistant Professor in computer science - Department of Mathematics, University of Padova

Matteo Zavatteri

@MatteoZavatteri

Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)

Dirk Beyer

@beyer_dirk

Royalty Flato

@FlatoRoyal97672

Assistant Professor @UoBChemistry. New materials discovery. Formerly @DeptofPhysics, @ChemCambridge and @WarwickPhysics. PhD @epfl. @Mariecurie_alum 🇪🇺.

Dominik Kubicki

@DominikJKubicki

Mathematician working computer science. Assistant professor @unibirmingham

Jakub Opršal

@jakub_et_al

I am a Computer Scientist and Musician. I am really passionate about research and all positive things in the world.

Arpita Saha

@ArpitaS32125629

Beautiful things are waiting for you to discover.

Teeti

@Teeti994876

PhD at IST Austria

Mahyar Karimi

@mahykari_

Computer Science PhD student @Stanford | Automated Reasoning، Formal Verification

Daneshvar Amrollahi

@AmrollahiD

Travel the world and see the scenery.

Tinesayt

@tinesayt62063

Nicola Avancini

@nisciow

Bardh Hoxha

@bardhhoxha

Researcher @KingsCollegeLon
Safe, Verifiable, and Efficient AI 🤖 • Mathematics of AI 💻 • Formal Verification • 📖 PhD @UniofOxford • Views my own

Mehran Hosseini

@MehransTweet

Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.

Bernd Finkbeiner

@FinkbeinerBernd

Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Hiring students and postdocs

Umang Mathur

@mathur_umang

Professor @TechnionLive & CTO @Tabnine

Eran Yahav

@yahave

Departamento de Engenharia Informática do Instituto Superior Técnico

Informática no Técnico

@informatica_IST

Researcher, Software Engineer
Read me on https://t.co/8ZGUr2SXoe | @amirdeljouyi

Amirhossein Deljouyi

@deljouyi

Applied Scientist Intern at #AWS, ProTeam Management Trainee at #LufthansaGroup, Software Engineer, and Research Scientist

Daniel Sokolowski

@Soko2D

PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @khoshechin@types.pl

Mohammad Hossein Khoshechin

@Mh_khoshechin

CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜

Tzu-Han👩🏻‍💻🎹

@TzuHanH

Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci

Suguman Bansal

@sugumanbansal

Professor of Computer Science @CompSciOxford

Dave Parker

@davexparker

Senior research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wyMZX

Anastasia Mavridou

@anmavrid

Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.

Borzoo Bonakdarpour

@TheBorzoo

PhD Student working on Causality stuff in something like photos of the Brain @inaoe_mx @milab_uob

Mario De Los Santos

@M_DlsH

Psycho/Neurolinguist at #NEPLab @IussPavia studying Experimental Pragmatics & Pragmatic Language Disorder. In love with metaphors. PI of #ERCCoG PROMENADE

Valentina Bambini

@VBambini

Computer Science PhD student at the University of Birmingham, interested in applied category theory. Tweets about walking, cycling, railways, and arsenal.

George Kaye

@thegeorgejkaye

A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.

Loris D'Antoni

@lorisdanto

 Principessa Consuela Bananahammock

@una_su_zero

دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی

Alireza Farhadi

@AlirezaTCS

Professor of Software Engineering at King's College London - Personal account

Mohammad Mousavi

@smr_mousavi

Assistant Professor in the Department of Computer Science at Stony Brook University investigating formal verification for autonomy. Views are my own.

Stanley Bak

@StanleyBak

Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE, he/him

Taylor T Johnson

@taylorjohnson

I am an Assistant Professor at University of North Carolina at Chapel Hill in the Computer Science Department.

All opinions expressed are personal. Bobloblaw.

Parasara S Duggirala

@psduggirala

Researcher @MSFTResearch
artificial intelligence, responsible AI, technology & society.

Besmira Nushi 💙💛

@besanushi

Hjalmar Wijk

@HjalmarWijk

@Microsoft Research, Oxford CS PhD

Hosein Hasanbeig

@grockious

We are preparing the 5th International Conference on Code Quality in cooperation with IEEE Computer Society and Ural Federal University (Ekaterinburg, Russia)

ICCQ 2025

@iccq_ru

QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020,
alongside with many workshops

QONFEST2020

@qonfest2020

Carole Mollet

@carole_mollet

Grass roots music Bar owner and property lawyer

Ally Hardy

@allyhardy

Applied Scientist at Amazon Bedrock, PhD student at University of Trento doing things with Neural Networks and Text.

Daniele Bonadiman

@dbonadim

We just make music. Nothing too loud, nothing too quiet. We are into the future and into the past, that's why I AM TITOR.

I Am Titor

@IAmTitor

musica, il mio amor

Pietroelabatteria

@SyncoopMusic

Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.

Peter O'Hearn

@PeterOHearn12

Associate Professor of Computer Science at the University of Toronto.

https://t.co/Cm8BZMIOqc
Automated Reasoning | Formal Methods + AI

Kuldeep S. Meel

@ksmeel

Advanced Research + Invention Agency.

Empowering scientists to reach for the edge of the possible.

ARIA

@ARIA_research

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

Talia Ringer 🟣 🎗️

@TaliaRinger

Mathematician working computer science. Assistant professor @unibirmingham

Jakub Opršal

@jakub_et_al

IEEE Real-Time and Embedded Technology and Applications Symposium: top-tier conference with a focus on embedded and time-sensitive systems.

RTAS 2024

@RTASConf

27th ACM International Conference on Hybrid Systems: Computation and Control - HSCC 2024, Hong-Kong, 14-16 May 2024

Paper deadline: October 31, 2023

hscc-conference

@hscc_conference

Premier conference for software & hardware design of intelligent, connected computing systems. Includes CASES, CODES+ISSS, EMSOFT, MEMOCODE, NOCS.

ACM/IEEE Embedded Systems Week (ESWEEK)

@es_week

Optical Connectomics Scientist at @E11Bio .
All things light microscopy, brain architecture & connectomics 🧠🔬🐈‍⬛

Julia M. Michalska

@juliammichalska

Spettacoli musicali - Service - Studio recording

Fabio&Mirko

@fabio_mirko

Be better than yourself.

Conny

@ConnyViola

Nicola Avancini

@nisciow

professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!

Maria Christakis

@mchri5taki5

Deputata della Repubblica. Vicepresidente di @azione_it. Capogruppo Riformisti in Consiglio Comunale #Milano. @copernicani. Autrice Exit Only. PhD @LSEEI

Giulia Pastorella

@PastorellaGiu

Engineer. Selecting and curating pictures and videos trying to add context, source and explanation to science, tech, art and weather topics

Massimo

@Rainmaker1973

The official Twitter account of the World Bollard Association™️. MERCH STORE - https://t.co/lGlBqCjY49

World Bollard Association™

@WorldBollard

Segretaria nazionale del Partito Democratico. @pdnetwork Iscrivetevi su https://t.co/IORX73yQDI!

Elly Schlein

@ellyesse

Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)

Dirk Beyer

@beyer_dirk

Computer Science Professor

Azadeh Farzan

@AzadehFarzan

Bardh Hoxha

@bardhhoxha

PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @khoshechin@types.pl

Mohammad Hossein Khoshechin

@Mh_khoshechin

Zvonimir Rakamaric

@rakamaric

Senior research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wyMZX

Anastasia Mavridou

@anmavrid

Researcher @KingsCollegeLon
Safe, Verifiable, and Efficient AI 🤖 • Mathematics of AI 💻 • Formal Verification • 📖 PhD @UniofOxford • Views my own

Mehran Hosseini

@MehransTweet

Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Hiring students and postdocs

Umang Mathur

@mathur_umang

Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.

Bernd Finkbeiner

@FinkbeinerBernd

Associate prof @ucsd_cse. Building tools for program verification and synthesis.

Nadia Polikarpova

@polikarn

Mathematics, computer science and logic @RoyalHolloway @Cambridge_CL @ClareCollege Other: art, philosophy, society. World citizen. Pacifist. Friend. Own views.

Angeliki Koutsoukou-Argyraki

@AngelikiKoutso1

PhD in mathematics from Université Nice Sophia Antipolis
Assistant Professor at Delft University of Technology
Birmingham Fellow at University of Birmingham, UK

Benedikt Ahrens

@benedikt_ahrens

Bringing you the latest news, culture and entertainment that you NEED TO KNOW 👀

Need To Know

@NeedToKnow_NTK

Professor @TechnionLive & CTO @Tabnine

Eran Yahav

@yahave

Departamento de Engenharia Informática do Instituto Superior Técnico

Informática no Técnico

@informatica_IST

Moderata, liberale ed europeista. Già Ministro per il Sud e per le Pari Opportunità. Deputata della Repubblica.

Mara Carfagna

@mara_carfagna

The original AI alignment person. Missing punctuation at the end of a sentence means it's humor. If you're not sure, it's also very likely humor.

Eliezer Yudkowsky ⏹️

@ESYudkowsky

A scientist of online programming communities often doing the most
||@MSFTResearch @hcdeUW ||phd @cscncsu ||prev @facebook @mitll ++ ||Views’R’Mine ||she/her

Denae Ford Robinson, Ph.D.

@denaefordrobin

Applied Scientist Intern at #AWS, ProTeam Management Trainee at #LufthansaGroup, Software Engineer, and Research Scientist

Daniel Sokolowski

@Soko2D

Inventor of @msExcel Flash Fill. Distinguished Scientist @Microsoft leading @ProseMSFT (AI4Code). Connecting ideas, people, and research & practice. Dad

Sumit Gulwani

@SumitGulwani

No longer posting here. @emeryberger.bsky.social, Threads: @emeryberger, Mastodon: @emeryberger@discuss.systems

Emery Berger

@emeryberger

Former Executive Chairman & CEO and tweets from Schmidt Foundation

Eric Schmidt

@ericschmidt

The people voted for major government reform

Elon Musk

@elonmusk

President of the @EU_Commission. Mother of seven. Brussels-born. European by heart. 🇪🇺

Ursula von der Leyen

@vonderleyen

Italy in UK

@ItalyinUK

Please subscribe the best math and science newsletter! https://t.co/tf4xYz9Q6k

Math Lady Hazel 🇦🇷

@mathladyhazel

CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜

Tzu-Han👩🏻‍💻🎹

@TzuHanH

Professor of Computer Science @CompSciOxford

Dave Parker

@davexparker

Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci

Suguman Bansal

@sugumanbansal

Presidente del Consiglio dei Ministri della Repubblica Italiana

Giorgia Meloni

@GiorgiaMeloni

A celebration of all things great about Britain. Contains sarcasm, irony and context. New book: https://t.co/ZO12WgPB4J

No Context Brits

@NoContextBrits

Welcome to the positive side of 𝕏. I’m Sander from the Netherlands. All copyrights belong to their respective owners! DM for credits/removal/submission!

Buitengebieden

@buitengebieden

United States Trends

1. #UFC309 57,8 B posts
2. #MissUniverse 145 B posts
3. Brian Kelly 9.502 posts
4. Mac Miller N/A
5. Beck 15 B posts
6. Jim Miller 5.788 posts
7. #AEWCollision 11,9 B posts
8. Feds 37,4 B posts
9. Mizzou 6.912 posts
10. Nebraska 12,5 B posts
11. Romero 18,2 B posts
12. Onama 2.800 posts
13. Tennessee 40,6 B posts
14. Wisconsin 45,3 B posts
15. Gators 11,5 B posts
16. Louisville 7.329 posts
17. Dinamarca 9.309 posts
18. Dalton Knecht 3.299 posts
19. #LAMH N/A
20. #Svengoolie 2.228 posts

Who to follow

Something went wrong.

Something went wrong.