Fabian Muehlboeck @fmbck

Computer Science Lecturer at the Australian National University, interested in Programming Language Design fabian.muehlboeck.name Canberra, Australian Capital T Joined March 2014

Tweets

6
Followers

75
Following

65
Likes

1

Liam O'Connor @kamatsu8

3 years ago

It's been public for a while, but to announce properly: I am taking a Senior Lecturer position at @ANUComputing starting in mid-2024. Soon afterwards I will have some funded PhD studentships in lightweight formal methods. Please get in touch with me if this is interesting to you!

Liam O'Connor @kamatsu8

3 years ago

I will be looking for students at ANU!

Luis Pedro Coelho @luispedrocoelho

3 years ago

This time of year, students are applying for PhD programmes in the US, but can I also suggest you consider Australia🦘?

Michael Coblenz @mcoblenz

3 years ago

The deadline for the SPLASH doctoral symposium is coming up (July 7). Looking forward to a great event with YOUR help! 2023.splashcon.org/track/splash-2…

Laurence Tratt @laurencetratt

3 years ago

10 days left for you to express interest in attending PLISS (Programming Language Implementation Summer School)! pliss.org/2023/

Michael Coblenz @mcoblenz

3 years ago

SPLASH '23 Doctoral Symposium CFP is out! Submission deadline is in a month: 2023.splashcon.org/track/splash-2…

ANU School of Computing @ANUComputing

4 years ago

Congratulations to @anucomputing’s Michael Norrish and the rest of the Trustworthy System team. comp.anu.edu.au/newsroom/2023/…

陈中🇨🇳🇷�... @Amber__Saber

49 Followers 1K Following 贪财好色，好吃懒做！

Hᴀɴ Qɪ @rhanqtl

7 Followers 314 Following

Rioso @RiosoqDys

27 Followers 3K Following

Director of US R&D, Certora Inc.
Affiliate faculty, Allen School, UW, Seattle

Chandrakana Nandi @ChandrakanaNaN

655 Followers 207 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle

Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.

Kristopher Micinski -... @krismicinski

8K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.

PL research & Haskell dev / PhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY Paris / 🏳️‍🌈 / ADHD is my super ability / INS @hxjxsnow

Xuejing, aka Snow @hxjxsnow

377 Followers 2K Following PL research & Haskell dev / PhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY Paris / 🏳️‍🌈 / ADHD is my super ability / INS @hxjxsnow

CS Lecturer @ IIUC | BSc Engg. in CSE @ University of Chittagong. Research Assistant @CSECU_DSG. Research Interest includes multimodal AI and Multilingual NLP

Abdul Aziz @aziz_cuCSE

87 Followers 3K Following CS Lecturer @ IIUC | BSc Engg. in CSE @ University of Chittagong. Research Assistant @CSECU_DSG. Research Interest includes multimodal AI and Multilingual NLP

A passionate young student of CS and Logic is excited to share their learnings from books. :))

odammmmd @odmfnaaae

5 Followers 162 Following A passionate young student of CS and Logic is excited to share their learnings from books. :))

PhD student. PLDI’24 video co-chair. PL implementation. Memory management. Computer architecture. Performance evaluation. https://t.co/mEavCiIyZA

Zixian Cai @caizixian

203 Followers 564 Following PhD student. PLDI’24 video co-chair. PL implementation. Memory management. Computer architecture. Performance evaluation. https://t.co/mEavCiIyZA

Can we be good friends? I'm looking for a serious relationship

Luna @Nesliez17789

1 Followers 146 Following Can we be good friends? I'm looking for a serious relationship

Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him

Toby Murray @tobycmurray

1K Followers 642 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him

all things toward agi

Program Counter @program_counter

251 Followers 7K Following all things toward agi

NaiS @NaiS_512

1 Followers 16 Following

Aosen Xiong @AosenX

12 Followers 618 Following

Assistant professor @ANUComputing | A Tennis lover 🇦🇺

xiaoyu.sun @sunxiaobiu

498 Followers 957 Following Assistant professor @ANUComputing | A Tennis lover 🇦🇺

AI Safety Researcher. Blogs at https://t.co/lW4RVHkaHe

Alcides Fonseca @alcides

2K Followers 3K Following AI Safety Researcher. Blogs at https://t.co/lW4RVHkaHe

CS PhD | Skilled Software Engineering with a growing passion for applying machine learning in Computational Fluid Dynamics (CFD), LLM to complex problems

Min-Hsien (Sam) Weng @samminweng

79 Followers 351 Following CS PhD | Skilled Software Engineering with a growing passion for applying machine learning in Computational Fluid Dynamics (CFD), LLM to complex problems

CS Honours Student @ANUComputing
Interested in large-scale systems, programming languages, and algorithms

Abhaas Goyal @AbhaasGoyal

5 Followers 35 Following CS Honours Student @ANUComputing Interested in large-scale systems, programming languages, and algorithms

Evangelical haskeller | PLT fanboy

Manwa Migosi @manwa_migosi

120 Followers 1K Following Evangelical haskeller | PLT fanboy

he/any Senior Lecturer, @ANUComputing. I leave these tweets, I do not know for whom, I no longer know what they are about. 한국어도 할 수 있다: @liamoc_kr

Liam O'Connor @kamatsu8

1K Followers 554 Following he/any Senior Lecturer, @ANUComputing. I leave these tweets, I do not know for whom, I no longer know what they are about. 한국어도 할 수 있다: @liamoc_kr

Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.

Andrew Myers @AndrewCMyers

6K Followers 299 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.

PL Research @ HKU

Baber Rehman @baberehman

56 Followers 184 Following PL Research @ HKU

Max Resch @110110111011011

30 Followers 88 Following

Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social

Michael Coblenz @mcoblenz

1K Followers 641 Following Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social

Formal Methods & Program Analysis.
CS Doctor from @FollowStevens.
He/Him

Cyrus Liu @cyruliu

87 Followers 579 Following Formal Methods & Program Analysis. CS Doctor from @FollowStevens. He/Him

Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. https://t.co/P6YWIgpbb9.

jcenzo.bsky.social @wise_jenna

696 Followers 468 Following Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. https://t.co/P6YWIgpbb9.

Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.

Jonathan Aldrich @JAldrichPL

5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.

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

Shriram Krishnamurthi... @ShriramKMurthi

25K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Incoming Assist. Prof. of CS @BloomsburgU / Postdoc at @purdue_pl / PhD from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate

Artem Pelenitsyn 🇺... @ulysses4ever

815 Followers 329 Following Incoming Assist. Prof. of CS @BloomsburgU / Postdoc at @purdue_pl / PhD from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate

🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu
🌿 prof @UMichCSE
🍃 poetry
🪸 dendrites
🎶 immersion
〰️ wavy nerd crew

Cyrus Omar (now mainl... @neurocy

3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew

We are one of the leading field robotics and autonomous systems research groups @CSIRO @Data61news, based in Brisbane, QLD, Australia. #robotics #AI #automation

CSIRORobotics @CSIRORobotics

3K Followers 2K Following We are one of the leading field robotics and autonomous systems research groups @CSIRO @Data61news, based in Brisbane, QLD, Australia. #robotics #AI #automation

@nick@types.pl

CS grad student in programming languages at Penn

Former @neu_prl undergrad

Nick Rioux @nickrioux

279 Followers 860 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad

ProbInG is a WWTF-funded ICT project that aims at developing novel and fully automated approaches for invariant generations of probabilistic programs.

Probing @ TU Wien @probing_lab

23 Followers 95 Following ProbInG is a WWTF-funded ICT project that aims at developing novel and fully automated approaches for invariant generations of probabilistic programs.

John Barrentine @JohnBarrentine8

203 Followers 747 Following good

Assistant Professor in Comp Sci @harveymudd. Answering weird questions about too much text data. Bi/pan, she/her.
🐘 @xandaschofield@dair-community.social

Xanda Schofield (she/... @XandaSchofield

5K Followers 2K Following Assistant Professor in Comp Sci @harveymudd. Answering weird questions about too much text data. Bi/pan, she/her. 🐘 @[email protected]

Postdoctoral researcher at Microsoft. Interested in relational specifications and reasoning for information flow security.

Jana Hofmann @jana_tweets_cs

464 Followers 251 Following Postdoctoral researcher at Microsoft. Interested in relational specifications and reasoning for information flow security.

geek of programming languages, operating systems, and hypermedia platforms

Manuel Simoni @msimoni

5K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms

rose @rose45774009

323 Followers 2K Following LOVE AND CARE

Jerreh trawally @trawally_jerreh

93 Followers 4K Following

Tom "Nothing Works" C... @TomChen17

81 Followers 1K Following

Assistant Professor 👨🏼‍💻 @iitrpr | @cseiitrpr

Manish @manish_algomuse

870 Followers 5K Following Assistant Professor 👨🏼‍💻 @iitrpr | @cseiitrpr

Assistant Professor in Computer Science at @VUamsterdam.

Klaus Gleissenthall @kgleissen

272 Followers 326 Following Assistant Professor in Computer Science at @VUamsterdam.

PhD graduate student in programming languages

Dietrich Geisler @Checkmate54

130 Followers 130 Following PhD graduate student in programming languages

Aspiring Abyss Domain Expert

Joe @alpha_convert

4K Followers 2K Following Aspiring Abyss Domain Expert

Formal Methods Researcher at UT Austin
PL, Verification, Synthesis, Networking, Databases
Cornell PhD, 2024

Eric Hayden Campbell @EricTheWry

287 Followers 300 Following Formal Methods Researcher at UT Austin PL, Verification, Synthesis, Networking, Databases Cornell PhD, 2024

Iván Aguilar Aguilar @ivanagui3

342 Followers 7K Following

Marcus Simmons @MarcusS37196151

12 Followers 822 Following

Systems, Formal Methods

Tony Zhang @WhiterMeerkat

400 Followers 729 Following Systems, Formal Methods

PhD from @CornellCIS, OCaml programmer, and lurker extraordinaire.

Jonathan DiLorenzo @dilorenzo_j

80 Followers 145 Following PhD from @CornellCIS, OCaml programmer, and lurker extraordinaire.

Chief Architect of OpenReserve (@OpenReserveBank) Prev: @CornellCIS PhD, @VigilMarkets, @bloXroute, @initc3org

Soumya Basu @soumyab8

1K Followers 349 Following Chief Architect of OpenReserve (@OpenReserveBank) Prev: @CornellCIS PhD, @VigilMarkets, @bloXroute, @initc3org

Director of US R&D, Certora Inc.
Affiliate faculty, Allen School, UW, Seattle

Chandrakana Nandi @ChandrakanaNaN

655 Followers 207 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle

Get used to disappointment.

Professor @ MPI-SWS. Opinions expressed here are my own and do not reflect the views of my employer.

Derek Dreyer @HerrDreyer

3K Followers 211 Following Get used to disappointment. Professor @ MPI-SWS. Opinions expressed here are my own and do not reflect the views of my employer.

Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.

Kristopher Micinski -... @krismicinski

8K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.

Transmogrifies coffee into LaTeX at University of British Columbia

Ron Garcia @rg9119

2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia

@MIT_CSAIL METEOR Postdoc Fellow. Past tense @Cornell (Triple Red: '17, '20, '23). I like robots. (she/her)

Claire @ClaireYLiang

204 Followers 74 Following @MIT_CSAIL METEOR Postdoc Fellow. Past tense @Cornell (Triple Red: '17, '20, '23). I like robots. (she/her)

Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).

Christine Rizkallah @c_rizkallah

363 Followers 314 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).

Assistant Professor at UC Berkeley. Distributed Systems & databases. Former engineer at Materialize. PhD UT Austin. Originally from Paris, France. Views my own.

Natacha Crooks @siobhcroo

4K Followers 612 Following Assistant Professor at UC Berkeley. Distributed Systems & databases. Former engineer at Materialize. PhD UT Austin. Originally from Paris, France. Views my own.

Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.

Ilya Sergey @ilyasergey

8K Followers 995 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.

Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him

Toby Murray @tobycmurray

1K Followers 642 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him

CS PhD | Skilled Software Engineering with a growing passion for applying machine learning in Computational Fluid Dynamics (CFD), LLM to complex problems

Min-Hsien (Sam) Weng @samminweng

79 Followers 351 Following CS PhD | Skilled Software Engineering with a growing passion for applying machine learning in Computational Fluid Dynamics (CFD), LLM to complex problems

CS Honours Student @ANUComputing
Interested in large-scale systems, programming languages, and algorithms

Abhaas Goyal @AbhaasGoyal

5 Followers 35 Following CS Honours Student @ANUComputing Interested in large-scale systems, programming languages, and algorithms

AI Safety Researcher. Blogs at https://t.co/lW4RVHkaHe

Alcides Fonseca @alcides

2K Followers 3K Following AI Safety Researcher. Blogs at https://t.co/lW4RVHkaHe

Assistant professor @ANUComputing | A Tennis lover 🇦🇺

xiaoyu.sun @sunxiaobiu

498 Followers 957 Following Assistant professor @ANUComputing | A Tennis lover 🇦🇺

Prof at @umdcs and @umiacs. Co-director of @plumlab.

BlueSky: https://t.co/Bwck1H9fXK
Mastodon: @dvanhorn@types.pl

David Van Horn @lambda_calculus

5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]

PL Research @ HKU

Baber Rehman @baberehman

56 Followers 184 Following PL Research @ HKU

Max Resch @110110111011011

30 Followers 88 Following

Postdoctoral researcher at Microsoft. Interested in relational specifications and reasoning for information flow security.

Jana Hofmann @jana_tweets_cs

464 Followers 251 Following Postdoctoral researcher at Microsoft. Interested in relational specifications and reasoning for information flow security.

Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social

Michael Coblenz @mcoblenz

1K Followers 641 Following Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social

@nick@types.pl

CS grad student in programming languages at Penn

Former @neu_prl undergrad

Nick Rioux @nickrioux

279 Followers 860 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad

Assistant Professor in Computer Science at @VUamsterdam.

Klaus Gleissenthall @kgleissen

272 Followers 326 Following Assistant Professor in Computer Science at @VUamsterdam.

Systems, Formal Methods

Tony Zhang @WhiterMeerkat

400 Followers 729 Following Systems, Formal Methods

Associate Professor, @IULuddy ·
Core Developer, @racketlang ·
Member, @TC39 ·
Handler, @gravemaker_ulti ·
@samth@types.pl

Sam Tobin-Hochstadt @samth

5K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]

Formal Methods Researcher at UT Austin
PL, Verification, Synthesis, Networking, Databases
Cornell PhD, 2024

Eric Hayden Campbell @EricTheWry

287 Followers 300 Following Formal Methods Researcher at UT Austin PL, Verification, Synthesis, Networking, Databases Cornell PhD, 2024

PhD graduate student in programming languages

Dietrich Geisler @Checkmate54

130 Followers 130 Following PhD graduate student in programming languages

Aspiring Abyss Domain Expert

Joe @alpha_convert

4K Followers 2K Following Aspiring Abyss Domain Expert

IG: https://t.co/RTp5jBQZx3

Jan Vitek @j_v_66

1K Followers 199 Following IG: https://t.co/RTp5jBQZx3

Formal Methods & Program Analysis.
CS Doctor from @FollowStevens.
He/Him

Cyrus Liu @cyruliu

87 Followers 579 Following Formal Methods & Program Analysis. CS Doctor from @FollowStevens. He/Him

Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. https://t.co/P6YWIgpbb9.

jcenzo.bsky.social @wise_jenna

696 Followers 468 Following Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. https://t.co/P6YWIgpbb9.

Lindsey @lindsey

8K Followers 341 Following

Incoming Assist. Prof. of CS @BloomsburgU / Postdoc at @purdue_pl / PhD from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate

Artem Pelenitsyn 🇺... @ulysses4ever

815 Followers 329 Following Incoming Assist. Prof. of CS @BloomsburgU / Postdoc at @purdue_pl / PhD from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate

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

Shriram Krishnamurthi... @ShriramKMurthi

25K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.

Jonathan Aldrich @JAldrichPL

5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.

Paren-wielding facebook-theorist, PhD. Sith Lord of Compilers.
Asst. Prof. at UBC. This account is deprecated.

William J. Bowman @wi... @wilbowma

3K Followers 226 Following Paren-wielding facebook-theorist, PhD. Sith Lord of Compilers. Asst. Prof. at UBC. This account is deprecated.

Computer Scientist, Prof. at Imperial College

Sophia Drossopoulou @drossopoulou

471 Followers 56 Following Computer Scientist, Prof. at Imperial College

Assistant Professor at UC Berkeley @Berkeley_EECS. PL+HCI. Into making programming easier for social scientists and domain experts.

Sarah E. Chasins @sarahchasins

2K Followers 316 Following Assistant Professor at UC Berkeley @Berkeley_EECS. PL+HCI. Into making programming easier for social scientists and domain experts.

🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu
🌿 prof @UMichCSE
🍃 poetry
🪸 dendrites
🎶 immersion
〰️ wavy nerd crew

Cyrus Omar (now mainl... @neurocy

3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew

Justin Lubin @jplubin

684 Followers 575 Following

Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.

Andrew Myers @AndrewCMyers

6K Followers 299 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.

SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity
#SPLASH2026 #SPLASH26

SPLASH Conference @splashcon

3K Followers 283 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2026 #SPLASH26

PhD from @CornellCIS, OCaml programmer, and lurker extraordinaire.

Jonathan DiLorenzo @dilorenzo_j

80 Followers 145 Following PhD from @CornellCIS, OCaml programmer, and lurker extraordinaire.

Chief Architect of OpenReserve (@OpenReserveBank) Prev: @CornellCIS PhD, @VigilMarkets, @bloXroute, @initc3org

Soumya Basu @soumyab8

1K Followers 349 Following Chief Architect of OpenReserve (@OpenReserveBank) Prev: @CornellCIS PhD, @VigilMarkets, @bloXroute, @initc3org

Kate Donahue @kpaxdonahue

331 Followers 368 Following she/her

$HCI × {Security, Privacy} University of Washington Assistant Professor @uwtset • Ph.D. @Cornell_CS • ex. @CHCI_VT, @VisLab_HKUST$

Zikai Alex Wen @WenZikai

338 Followers 267 Following HCI × {Security, Privacy} University of Washington Assistant Professor @uwtset • Ph.D. @Cornell_CS • ex. @CHCI_VT, @VisLab_HKUST

Assistant Professor in Comp Sci @harveymudd. Answering weird questions about too much text data. Bi/pan, she/her.
🐘 @xandaschofield@dair-community.social

Xanda Schofield (she/... @XandaSchofield

5K Followers 2K Following Assistant Professor in Comp Sci @harveymudd. Answering weird questions about too much text data. Bi/pan, she/her. 🐘 @[email protected]

Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @fxdpntthm@types.pl

Apoorv @fxdpntthm

1K Followers 139 Following Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @[email protected]

Assistant Professor @VT_CS || PhD from @PurdueECE ||
Interested in Compilers, Programming Languages, and HPC

Kirshanthan Sundarara... @Kirshanthan

1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC

Building offsec agents: https://t.co/G9EtnC3eaB PGP https://t.co/3WXr0Rgpa3

Brendan Dolan-Gavitt @moyix

35K Followers 7K Following Building offsec agents: https://t.co/G9EtnC3eaB PGP https://t.co/3WXr0Rgpa3

Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.

Andrew K. Hirsch @andrewkhirsch

577 Followers 918 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.

Post-doc, Security+PL Researcher, and Bitcoin Unenthusiast at @CollegeParkMC2/@plumlab | PhD @CornellCIS | Future Asst Prof @WisconsinCS | https://t.co/TQl7BTefLT

EthanCecchetti@infose... @EthanCecchetti

646 Followers 286 Following Post-doc, Security+PL Researcher, and Bitcoin Unenthusiast at @CollegeParkMC2/@plumlab | PhD @CornellCIS | Future Asst Prof @WisconsinCS | https://t.co/TQl7BTefLT

Thinks about computing with humans and computing for humans. Assistant Professor at @OberlinCollege. PhD from @CornellCIS. she/her.

Molly Q Feldman @feldmanmolly

453 Followers 606 Following Thinks about computing with humans and computing for humans. Assistant Professor at @OberlinCollege. PhD from @CornellCIS. she/her.

Trends for United States

Good Wednesday

Blazers

Dame

Striker

#WorldSeries

Lipstick

Drohan

#HelluvaBossSpoilers

Fizz

Kessler

Scott Foster

Rays

Deni

#TheDrop

#RipCity

Ja Morant

Cooper Pratt

#HelluvaBossSeason3

Portland

Game 5

You might like

Andrew K. Hirsch

Leo Lampropoulos

@steffensmallcar

Alexandra Silva

@alexandra8silva

Kiran Tomlinson

@kiran_tomlinson