A CMU robotics PhD who co-founded consumer-robot maker Anki then led self-driving trucks at Waymo; he started Bedrock in 2024 to bring that autonomy to construction equipment.