Research Projects for Keyword safety synthesis