Molham Aref

@molhamaref

CEO at @RelationalAI

+ Follow

Elon Musk

@elonmusk

+ Follow

Hanjun Dai

@hanjundai

Research Scientist at Google DeepMind; hanjun-dai.github.io

+ Follow

Neelay Velingker

@neelayv

PhD student @Penn

+ Follow

Boon Thau Loo

@boonthauloo

Senior Associate Dean @ Penn Engineering leading Grad Education, Global and Entrepreneurship. RCA Chair Professor. Database & distributed systems researcher.

+ Follow

Joe Cutler

@alpha_convert

CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)

+ Follow

Yao Li

@lastland0

He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]

+ Follow

Elizabeth Dinella

@eadinella

CS prof @brynmawrcollege. I like dev tools and machine learning.

+ Follow

Jason Ma

@jasonma2020

Co-founder @DynaRobotics Prev: @GoogleDeepMind, @NVIDIAAI, @MetaAI, @Penn, @Harvard.

+ Follow

Mayur Naik

@ai4code

Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity.

+ Follow

Konstantinos Kallas

@konskallas

Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they bsky.app/profile/konsta…

+ Follow

Aaditya Naik

@aaditya_naik

PhD Student @cis_penn | Google PhD Fellow '23

+ Follow

Pardis Pashakhanloo

@pashapardis

Founding AI Engineer @codemod / ex @CertiK / UPenn CIS PhD / Deep Learning for Code / Program Analysis / Software Security / Tea Enthusiast ☕️

+ Follow

Jiani Huang

@moqingyan233

CS PhD Student @Penn / ml4code / Neural Symbolic / Scallop

+ Follow

Alexander Shypula

@alex_shypula

PhD Student at UPenn

+ Follow

Adam Stein

@adamlsteinl

PhD student. PL + ML @ UPenn.

+ Follow

ScallopAI

@scallopai

Scallop language and framework for neurosymbolic AI (scallop-lang.github.io)

+ Follow