I am now working on broad areas, including programming languages, software engineering, cybersecurity, and artificial intelligence, focusing on topics about the evaluation and optimization of techniques related to static analysis.