Verifiable Robotics @VerifRobotics
A research group in @Cornell focusing on #robotics, control, hybrid systems, logic, verification, model checking, planning and computational linguistics. verifiablerobotics.com Ithaca, NY Joined May 2015-
Tweets9
-
Followers24
-
Following13
-
Likes1
Verifiable Robotics retweeted
Hadas Kress-Gazit has been promoted to Full Professor! Her tremendous efforts in formal methods have resulted in significant contributions to reactive software, theory, and algorithms that allow robots to perform high-level tasks with established performance guarantees.
0
2
10
0
0
Download Image
Verifiable Robotics retweeted
Hadas Kress-Gazit promoted to Associate Professor starting July 1, 2015. Congratulations! mae.cornell.edu/mae/news/index…
Program a robot to take your selfie #DARPADRC #photofromrobot @TeamViGIR
Program a robot to take your selfie #DARPADRC #photofromrobot @TeamViGIR
Program a robot to take your selfie #DARPADRC #photofromrobot @TeamViGIR
Verifiable Robotics retweeted
With the collaboration of TORC Robotics & 5 universities, @TeamViGIR's alumni cheering section will be huge!
Group member Spyros @spmaniato will be at #DARPADRC finals in June with @TeamViGIR.
Awesome trailer. See you all at @icra2015.
Pesmeau @pesmeau43274
20 Followers 779 Following
Tiago M. @machadotimoraes
0 Followers 468 Following Are you truly honest about yourself? The winter is coming... Don't flinch, do the work!
Samhita Marri @m_samhita
62 Followers 272 Following PhD Candidate @ECEILLINOIS focusing on Agricultural Robotics | Alumni @CornellECE and @MahindraUni
Midnight Aurora Studi... @MidnightAStudio
0 Followers 11 Following Misinterpreting acronyms since 2022. I 👩🏽🔬 love robots 🤖 and I sketch 🎨. Bay Area 🔗 Macau Visit my store⬇️
Black in Robotics @BlackInRobotics
6K Followers 2K Following Community of Black researchers, professionals, students & allies in robotics working together to amplify & advocate for DEI in robotics https://t.co/VraBy7Ke6Z
Nora Ayanian @NoraRobots
1K Followers 168 Following Multirobot Maestro // Robotics professor @BrownCSDept & @Brownengin since 2022 // mother of two boys // She/her // Tweets are my own
Md Jahidul (Jahid) @XahidBuffon
189 Followers 238 Following Assistant Professor of @ECEflorida, directing @RoboPI_UF || Former Research Scientist at @BoschGlobal | Ph.D. from @UMNComputerSci.
Cornell Mechanical & ... @CornellMAE
2K Followers 504 Following Sibley School of Mechanical and Aerospace Engineering at Cornell - where we accelerate discovery to make impactful and lasting change for a better future.
Cynthia Matuszek @cmat
313 Followers 241 Following Robotics, machine learning, and human-robot interactions researcher. Faculty at UMBC. Making robots useful in human spaces. She/her. 🏳️🌈
Isidoros Marougkas @is_marou
1K Followers 6K Following PhD candidate@Rutgers University,NJ in AI&Robotics
Jonathan Kelly @domo_mr_roboto
1K Followers 614 Following Associate Professor @ University of Toronto Institute Aerospace Studies @UTIAS and Canada Research Chair in Collaborative Robotics @UofTRobotics - 🤖's rock!
Advanced Robotics 201... @Mechatronics203
90 Followers 607 Following 3rd International Conference on Advanced Robotics, Mechatronics and Artificial Intelligence July 11-12, 2019 | Berlin Germany
ghani @ghani1917
3 Followers 282 Following
Sascha Griffiths @SaschaGriffiths
553 Followers 789 Following Recovering academic (cognitive science). Now a martial arts nerd #Ninjutsu, #MMA & #BJJ. I tweet about #fatherhood, #AI & #startups. Views & opinions are my own
Paul Gresia @PGresia
3 Followers 91 Following
Dr Stuart Wrigley �... @stuwrigley
581 Followers 1K Following Postdoctoral IT & engineering professional. Centre Manager @sltcdt (views own). Family, classic cars, #BMW #535d, watches, food, vinyl, photography in free time
Vasu Raman @likeavass
808 Followers 344 Following sf resident, cs phD, building https://t.co/iZgxXC1qYo | prev: zipline, nuro, zoox, academia
Brian @Atom2384
256 Followers 1K Following I am putting myself to the fullest possible use which is all, I think, that any conscious entity can ever hope to do.
Pratap Tokekar @ptokekar
1K Followers 844 Following Associate Professor at @umdcs, @umiacs, and @amazon Scholar. Previously @vt_ece @grasplab @umncomputersci
Hadas Kress-Gazit �... @HadasKressGazit
2K Followers 321 Following professor; engineer; feminist; mother; spouse; daughter; sister. not ordered. (update June 2022) WTF. ABORTION IS HEALTHCARE. She/Her
Spyros Maniatopoulos @spmaniato
245 Followers 1K Following Senior Staff Robotics Software Engineer @Cruise Previously: #KuriRobot, @TAILOSTECH, @VerifRobotics, @TeamViGIR #DARPADRC, @cornell, @ntua 🤖
Cornell ECE @CornellECE
2K Followers 249 Following Where science meets engineering, theory meets practice, and elegance meets relevance. #CornellECE The School of Electrical and Computer Engineering at Cornell
Cornell Computer Scie... @Cornell_CS
2K Followers 70 Following Founded in 1965, as one of the first of its kind – the department of computer science in @CornellCIS explores theory, programming, languages, AI, and more.
Cornell Mechanical & ... @CornellMAE
2K Followers 504 Following Sibley School of Mechanical and Aerospace Engineering at Cornell - where we accelerate discovery to make impactful and lasting change for a better future.
Black in Robotics @BlackInRobotics
6K Followers 2K Following Community of Black researchers, professionals, students & allies in robotics working together to amplify & advocate for DEI in robotics https://t.co/VraBy7Ke6Z
WomenInRobotics @WomenInRobotics
946 Followers 224 Following Passionate women in #Robotics. Founded by @aratta. The #WomenInRobotics Directory starts with 160 exceptional profiles!
Black in AI @black_in_ai
43K Followers 313 Following Black in AI empowers a global community of AI professionals of African descent to be full partners in shaping our technological and economic future.
Vasu Raman @likeavass
808 Followers 344 Following sf resident, cs phD, building https://t.co/iZgxXC1qYo | prev: zipline, nuro, zoox, academia
Hadas Kress-Gazit �... @HadasKressGazit
2K Followers 321 Following professor; engineer; feminist; mother; spouse; daughter; sister. not ordered. (update June 2022) WTF. ABORTION IS HEALTHCARE. She/Her
Spyros Maniatopoulos @spmaniato
245 Followers 1K Following Senior Staff Robotics Software Engineer @Cruise Previously: #KuriRobot, @TAILOSTECH, @VerifRobotics, @TeamViGIR #DARPADRC, @cornell, @ntua 🤖
DARPA @DARPA
270K Followers 394 Following Official account of the Defense Advanced Research Projects Agency. Follows/retweets/links do not = endorsement. Breakthrough technologies for national security.
Nora Ayanian @NoraRobots
1K Followers 168 Following Multirobot Maestro // Robotics professor @BrownCSDept & @Brownengin since 2022 // mother of two boys // She/her // Tweets are my own
IEEE ICRA @ieee_ras_icra
12K Followers 82 Following #ICRA2025 IEEE International Conference on Robotics & Automation 19–23 May, Atlanta, USA
Cornell University @Cornell
407K Followers 674 Following Learning. Discovery. Engagement. Join the #Cornell conversation.Trends for United States
182 B posts
46,3 B posts
61,4 B posts
168 B posts
197 B posts
38,8 B posts
64,9 B posts
7.022 posts
53,8 B posts
4.608 posts
4.839 posts
6.163 posts
4.493 posts
5.159 posts
130 B posts
36,2 B posts
2.434 posts
3.031 posts
8.880 posts
2.390 posts
You might like
Mac Schwager
@MacSchwager
667 Followers
Vasu Raman
@likeavass
808 Followers
Jingjin Yu
@YuJingjin
58 Followers
Laura Graesser
@lgraesser3
1K Followers
Hejia Zhang
@Hejia_Zhang_
103 Followers
Qing Sun
@QingSun87
131 Followers
Yifan Zhu
@YifanZhu_
172 Followers
Tanmay Agarwal
@tanmayxagarwal
127 Followers
Bowen Wen
@bowenwen_me
794 Followers