Sara Mohammadinejad
Papers
2
Total Citations
4
H-Index
2
About
Sara Mohammadinejad is a rising researcher at the intersection of robotics, formal methods, and natural language processing. Her work focuses on bridging the gap between intuitive human communication and unambiguous robot task specification. She has pioneered methods for systematically translating natural language task descriptions into Signal Temporal Logic (STL), a formal logic capable of expressing complex temporal and safety-critical requirements. Her 2024 paper on this systematic translation has already garnered attention, while her 2022 work on interactive learning from both natural language and demonstrations demonstrates a novel approach to robot instruction. By enabling robots to learn from ambiguous human input while grounding that input in precise, verifiable logic, Mohammadinejad is addressing a fundamental challenge in human-robot interaction. Her research is particularly impactful for applications requiring safety guarantees, such as autonomous driving and industrial robotics. With her innovative integration of formal verification and intuitive interfaces, Mohammadinejad is helping to make sophisticated robot control accessible to non-experts without sacrificing reliability.
Research Focus
Key Achievements
Top Papers
- 1
- 2