Update index.md

Author: nirhasabnis

index.md

@@ -1,6 +1,6 @@
 ## About me
 
-I am currently a Research Scientist at Machine Programming Lab in [Intel Labs](https://www.intel.com/content/www/us/en/research/overview.html). My research interests are at the intersection of application of artificial intelligence, machine learning, and formal method techniques to problems in compilers, HPC, software systems, and software engineering. My primary interests are in high-performance computing, code transpilation, and developer assistance technologies. Previously, I implemented and published an automated system, named [ControlFlag](https://www.intel.com/content/www/us/en/newsroom/news/machine-programming-tool-detects-bugs-code.html), that learns to detect programming errors in code. ControlFlag is [open-source now](https://github.com/IntelLabs/control-flag), and has been covered by several news outlets such as [Communications of ACM](https://cacm.acm.org/careers/256477-intel-opens-controlflag-machine-learning-system-for-improving-code-quality/fulltext), [Venturebeat](https://venturebeat.com/2020/12/03/intels-controlflag-taps-ai-to-automatically-detect-errors-in-code/), [ZDNet](https://www.zdnet.com/article/developers-intels-automated-debugging-tool-controlflag-is-now-open-source/), [TechRepublic](https://www.techrepublic.com/article/intel-unveils-machine-programming-tool-to-detect-bugs-in-code/), etc.
+I am currently a Research Scientist at Machine Programming Lab in [Intel Labs](https://www.intel.com/content/www/us/en/research/overview.html). My research interests are at the intersection of application of artificial intelligence, machine learning, and formal method techniques to problems in compilers, HPC, software systems, and software engineering. Previously, I implemented and published an automated system, named [ControlFlag](https://www.intel.com/content/www/us/en/newsroom/news/machine-programming-tool-detects-bugs-code.html), that learns to detect programming errors in code. ControlFlag is [open-source now](https://github.com/IntelLabs/control-flag), and has been covered by several news outlets such as [Communications of ACM](https://cacm.acm.org/careers/256477-intel-opens-controlflag-machine-learning-system-for-improving-code-quality/fulltext), [Venturebeat](https://venturebeat.com/2020/12/03/intels-controlflag-taps-ai-to-automatically-detect-errors-in-code/), [ZDNet](https://www.zdnet.com/article/developers-intels-automated-debugging-tool-controlflag-is-now-open-source/), [TechRepublic](https://www.techrepublic.com/article/intel-unveils-machine-programming-tool-to-detect-bugs-in-code/), etc.
 
 Prior to joining Intel, I was a PhD student at [Secure Systems Lab](http://seclab.cs.sunysb.edu/seclab/) at [Stony Brook University](https://www.stonybrook.edu/), and I was advised by Prof. R. Sekar. At Stony Brook, I conducted research in program analysis, symbolic execution, machine learning techniques to learn code translators, and binary analysis.