Profile picture.

Carl Hildebrandt

Co-Founder & CEO, SinManos · Ph.D., Autonomous System Safety

I’ve spent my career working on one question: how do you know a machine is safe to let loose in the real world? My Ph.D. was in autonomous system safety, testing systems where software, hardware, and the messy physical world all meet. The biggest thing I took away is that safety isn’t just good code. You need proof, and the world keeps changing underneath you.

That’s why I co-founded SinManos. We check whether vehicles, human-driven or autonomous, actually follow the rules of the road. It turns out to be one of the best early signs of how safely a fleet is driving, and we help fleets, insurers, and regulators see it at scale.

Outside work, you’ll find me playing hockey, playing video games, or reading a good book.

Experience

Current

Co-Founder & CEO

October 2025 — Present

Software System Engineer, Autonomy Verification and Test Engineering

June 2024 — September 2025
August 2018 — June 2024

Head of Technology

November 2019 — July 2022

Graduate Research Intern

May 2022 — August 2022
July 2017 — July 2018

Software Engineer

Cheesecake Trails
January 2017 — July 2017

Education

Ph.D., Computer Science

University of Virginia
Advised by Sebastian Elbaum
June 2024

B.Eng., Computer Engineering

University of Pretoria
Dec 2016

Publications

ITSC 2025

SCOUT: A Lightweight Framework for Scenario Coverage Assessment in Autonomous Driving

International Conference on Intelligent Transportation Systems (ITSC)
ICSE 2025

A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs

International Conference on Software Engineering (ICSE)
IROS 2024 First author

ODD-diLLMma: Driving Automation System ODD Compliance Checking using LLMs

International Conference on Intelligent Robots and Systems (IROS)
ISSTA 2023 First author

PhysCov: Physical Test Coverage for Autonomous Vehicles

International Symposium on Software Testing and Analysis (ISSTA)
ICRA 2023 First author

Mimicking Real Forces on a Drone Through a Haptic Suit to Enable Cost-Effective Validation

International Conference on Robotics and Automation (ICRA)
ICSE-SEET 2022 First author

Preparing Software Engineers to Develop Robot Systems

International Conference on Software Engineering: Software Engineering Education and Training Track (ICSE-SEET)
ICRA 2021 First author

World-in-the-Loop Simulation for Autonomous Systems Validation

International Conference on Robotics and Automation (ICRA)
ISSTA 2020 First author

Feasible and Stressful Trajectory Generation for Mobile Robots

International Symposium on Software Testing and Analysis (ISSTA)
ICSE-NIER 2020 First author

Blending Kinematic and Software Models for Tighter Reachability Analysis

International Conference on Software Engineering: New Ideas and Emerging Results Track (ICSE-NIER)
IROS 2018

Fire-Aware Planning of Aerial Trajectories and Ignitions

International Conference on Intelligent Robots and Systems (IROS)

Patents

US Patent · 2023

Systems and Methods for Safety, Security and Well-Being of Individuals

US Patent: US11688265B1
US Patent · 2022

Systems and Methods for Safety, Security and Well-Being of Individuals

US Patent: US11282367B1

Awards and Honors

University of Virginia - All-University Graduate Teaching Award
April 2023
University of Virginia - Graduate Teaching Award
May 2022
University of Virginia Research Symposium - Best Poster
September 2021
The University of Virginia Research Symposium - Best Presentation
September 2020
ACM SIGSOFT ISSTA - Distinguished Artifact Award
July 2020
IEEE/RSJ IROS - Best Paper Award on Safety, Security, and Rescue Robotics
October 2018

Teaching

Supporting Instructor: Robotics for Software Engineers
The University of Virginia
2022
Lab Designer and Guest Lecturer: Robotics for Software Engineers
The University of Virginia
2021
Lab Designer and Teaching Assistant: Robotics for Software Engineers
The University of Virginia
2020
Head Teaching Assistant: Data Structures and Algorithms in Java
The University of Pretoria
2016
Head Teaching Assistant: Program Design in C++
The University of Pretoria
2015
Teaching Assistant: Data Structures and Algorithms in Java
The University of Pretoria
2015
Teaching Assistant: Introduction to Programming in C
The University of Pretoria
2014

Service

IROS 2024: Technical Track Paper Reviewer
ASE 2022: Artifact Reviewer
UVA 2022: Graduate Student Council
ICRA 2022: Technical Track Paper Reviewer
ICSE 2021: Student Volunteer