lanyusea
Follow
Mengdi-Xu
mxu34
A Ph.D. student in SafeAI Lab. Previously at Google Deepmind, MIT-IBM Watson AI Lab, TRI.
Carnegie Mellon University Pittsburgh
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Jakub Konka
kubkon
I'm a Zig core team member and core developer at the Zig Software Foundation. You can often find me tinkering with linkers.
@ziglang Warsaw, Poland
Tomoya Fujita
fujitatomoya
ROS TSC | Software Architect and Developer at Sony
@sony @ros2 @kubernetes @kubeedge @openyurt @Haivision San Jose, USA
takasehideki
takasehideki
Associate Professor at Graduate School of Information Science and Technology, The University of Tokyo.
UTokyo / NervesJP / rosjp / ALGYAN Tokyo, Japan
Force Charlie
fcharlie
There is only one heroism in the world: to see the world as it is and to love it.
Hangzhou, China
Vincent Berenz
vincentberenz
Roboticist, specialized in service and social robotics
Max Planck Institute for Intelligent Systems Tuebingen, Germany
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
Zack Weinberg
zackw
I AM NOT LOOKING FOR A JOB. DO NOT CONTACT ME WITH JOB OFFERS. I do security research and misc systems coding. Please see my personal website for more detail.
Pittsburgh, PA
Lorenz Meier
LorenzMeier
Long-term open source contributor, creator of Pixhawk, PX4, MAVLink and QGroundControl. Co-Founder of the open source company Auterion.
@Auterion Zurich
Botao Amber Hu
botaohu
researcher & designer.
running @realitydeslab
interested in #xr, #progcrypto, #aw & #alife.
@Stanford alumni.
@holokit inventor.
Reality Design Lab
XuHao
xuhao1
PhD student @ HKUST.UAV
http://www.xuhao1.me
Check my swarm projects on https://github.com/HKUST-Swarm
HKUST Hongkong, China
PreviousNext