My research on safe control methods aims to ensure that autonomous systems operate within predefined safety constraints. I utilize techniques such as Control Barrier Functions (CBFs) and Signal Temporal Logic (STL) to design controllers that can formally guarantee safety, preventing the system from entering unsafe states while pursuing its objectives. Furthermore, these safe control methods also enable performance guarantees on complex tasks provided using temporal logic specifications.