A and V Network
@aandvnetwork
Research network focussing on verification of autonomous systems. Distributed across several universities
Led by Prof. Michael Fisher. Tweets by @MattLuckcuck
ID: 1052929408804245504
https://autonomy-and-verification.github.io/ 18-10-2018 14:28:28
2,2K Tweet
610 Followers
1,1K Following
Prof Gina Neff
@ginasue
Prof of Responsible AI @DERI_QMUL; @MCTDCambridge; Deputy CEO @responsibleaiuk; Fellow @magdalenealumni bsky.app/profile/ginasu…
Dr Matt Osborne
@furiousengineer
Safety Scientist. Visiting Research Fellow @CfAA_York. Independent Safety Consultant at The Furious Engineer. Pretender to the Eco Warrior throne
Sabine Hauert
@sabinehauert
Engineering swarms across scales - Professor of Swarm Engineering @BristolUni - President @Robohub - Exec. Trustee @AIhuborg. Prev. @EPFL_en & @MIT.
Tadashi
@tadashitech
Brazilian-Japanese Christian with PhD in Control Theory. Prev.: @TU_Muenchen, @UsePicnic, @VTEXcommerce
University of Liverpool Library
@livunilibrary
Books, e-resources, study support, academic skills and more. Open 24/7 term time, you’ll always find a smile here! 📜@LivUniSCA ✍️ @livuniknowhow
Michael Wooldridge
@wooldridgemike
Ashall Professor of the Foundations of Artificial Intelligence at Oxford University. Fellow of @HertfordCollege. Tweets mainly about AI & Oxford.
Dagmar Monett
@dmonett
Prof Dr Computer Science—Artificial Intelligence, Software Engineering, AI ethics—Head of #CS Dept, Co-Director bit.ly/MScDTdual. Read me on Linked+In.
Alan Chamberlain
@alan_yn_aber
Technology, Interaction, Design, Music, Art, AI and Ethnography. Principal Research Fellow - Mixed Reality Lab, UoN Tweeting in a personal capacity
Lars Kunze
@kula78
Professor @BristolRobotLab | Visiting Fellow @oxfordrobots | Group Lead @CognitiveRobots
José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Ana MacIntosh
@anamacintosh
Director of Strategic Programmes (including @AAIP_york & SAINTS CDT in Safe AI). Own hair, hobbies, feminism, PhD & classic car. Usually colourful and correct.
Nicolás Cardozo
@ncardoz
Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci
Yehia Abd Alrahman
@yehialazkany
Associate Professor in Computing @ GU
Shaukat Ali
@shukat_ali
Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory. Tweets about academia and food!
Kathi Ceesay-Seitz
@k_ceesayseitz
Hardware Security Researcher, Ex-CERN Embedded Software Developer / Digital Electronics Verification Engineer
blobiq
@bl0biq
embodied intelligence, animate materials, soft matter
VeriVITAL
@verivital
The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory, EECS, Vanderbilt University, verivital.com @TaylorJohnson
UK-RAS Network
@ukrobotics
Official account of the EPSRC UK-RAS Network
joe
@joevorage
Nasser
@nasser_w115
#PhD candidate #AI #MachineLearning #AutoML at the @UniofNottingham #Chess #F1 #MotoGP
Tarek Nakkach
@tarek_nakkach
Award winning Lawyer, Aspiring Author, Football Fan, all views are my own.
Achim D. Brucker
@adbrucker
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. logicalhacking.com / @[email protected]
UKRI TAS Hub
@tas_hub
UKRI Trustworthy Autonomous Systems Hub
Centre for Assuring Autonomy
@cfaa_york
A partnership between @LR_Foundation and the @UniofYork advancing safety assurance of AI, autonomous and robotics systems across the globe.
Claudio
@menghi_claudio
UKRI TAS Node in Functionality
@tas_function
URKI funded | University of Bristol | social scientists-ethicists-computer scientists-engineers researching evolving functionality of autonomous systems
alessioferrari
@alessferra
Oxford Robotics Institute
@oxfordrobots
The ORI is built from collaborating and integrated groups of researchers, engineers and students all driven to change what robots can do for us
Colin Paterson
@drcpaterson
Old bloke who never grew up. During the day I work on assuring the safety of AI. He/him
Marija Slavkovik
@mslavkovik
We do not have AI until bathroom cleaning is fully automated Head of @infomedia_uib at @UiB, but tweets here are personal opinions.
Katie Winkle
@katiejwinkle
Either working with humans to make robots better, or working with robots to make humans better 🤔 @USR_Lab previously @kth_rpl and @ECHOS_BRL @BristolRobotLab
Gaurav
@gauravgupta1985
Dennis mustafa
@murdky12
Computer programmer,basketball 🏀 coach,professional photographer
Martina
@tareteethmkgg7
Life is a vicious battle, whether it's painkillers or slaps, and ultimately it's all about practicing courage on your own, no one is exceptional.
Nan MESSE
@messenan
Associate professor at University of Toulouse - Jean Jaurès / SM@RT, IRIT. Interested in: security-by-design, software/system engineering, MDE, etc.
Nirtro
@nirtroemn
waynee95
@waynee955
programmer. vim user. student
PrudenceWaters
@97htazu9uet6a
Sunny singh
@sunnysitechie
Andrew Butterfield
@andrew_butterf
Lecturer in Computer Science @tcddublin doing research into software verification. All opinions my own.
Can Zhou
@canzhou85994118
farhad Zare
@thefarhadzare
Gmail: [email protected] ;A CS & Neuro student with its philosophical and historical consequences.
Morro touray
@morrotoura15652
Gambia 🇬🇲
Céline Hocquette
@celinehocquette
Researcher in program synthesis at the university of Oxford
FLAGlab
@flaglab
Computer science research lab @DISCUniandes working on programming languages, AI, cryptography, bioinformatics and algorithms. youtube.com/@FLAGlab
Pnkj Upadhyay
@updpnk
Susmoy Das
@das_susmoy
PhD, Computer Science Researcher
Efimia Panagiotaki
@panefimia
PhD Student @UniofOxford @oxfordrobots 🤖| @GoogleDeepMind Scholar | Sr ML Eng @Oxa_UA | Past @streetdrone @WilliamsRacing 🏎️, @ETH_en, @CVL_ETH, @ecentua
Aanuoluwapo Abidoye
@medalresearcher
undergraduate student interested in research focus on deep learning and clinical natural language processing
Yuhui Lin
@yuhuilin9
smallsnap
@smallsnap375721
IJCAI-STAI 2024
@staiworkshop
The official account of the International Workshop on Sustainable Transition with AI collocated with IJCAI 2024 | #IJCAI_STAI2024 #IJCAI2024
Yunfan Zhao
@yunfan_zhao
AI Scientist at GE Healthcare | Former Postdoc at Harvard CS
ZHIFENG WU
@wukevib
Electronic Communications and Computer Engineering Master in University of Nottingham
RBOC Network+
@rbocnetwork
The EPSRC and DST Network+ for considering threats to future security and resilience
Simon Kolker
@simon_kolker
Khaled Djaber
@djaber_khaled_
Chuang Yu
@chuang_yu_
Research Fellow @uclic EX:Postdoc @corolab_UoM on UKRI @tas_trust EX:PhD @IP_Paris_ Co-Founder @robot_llm Affective AI, Cognitive-Social Robot
Simon Chu
@schutweets
Software Engineering Ph.D. Student @SCSatCMU, he/him.
Ahmad
@alextompson89
PhD Student @uconn
Dhaminda Abeywickrama
@dhamindaa
Research Fellow (Autonomous Systems), The University of Manchester.
Death never died
@smallsnap1
AlyceMooe
@alycemooe78948
Naturobotic
@naturobotic
Making robots cooperate with me and humans with nature.
Edith
@moushes131334
The night is coming, I'll be waiting for you on the air. t.me/qicheng124
Sesla
@sesla11321
I'm new to Twitter accounts so I tried the messaging feature and it's great to meet you.
Audrey
@audrey5sorensen
Make money easily
@ob81dywqo2k8v
MEXC focuses on financial management, stocks, cryptocurrencies, digital assets and investments. Currently, new users can get free dollars when they sign up.
Doğan Ulus
@ulusdd
UKRI CDT in Safe & Trusted AI @ King's & Imperial
@safe_trusted_ai
Collaborative UKRI Centre for Doctoral Training between @kclinformatics @KingsCollegeLon & @ICComputing @imperialcollege pioneering next gen safe & trusted AI