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 software systems and software engineering. My primary interests are in bug finding, code recommendation, and performance estimation. Recently, I 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. 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.
 
 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.
 
@@ -89,4 +89,9 @@ Mohammad Hossain, Derssie Mebratu, Niranjan Hasabnis, Jun Jin, Gaurav Chaudhary,
 - [AIDB'22](https://sites.google.com/view/aidb2022/home/program-committee), [FSE'22](https://2022.esec-fse.org/committee/fse-2022-industry-program-committee), [USENIX ATC'22](https://www.usenix.org/conference/atc22/call-for-papers), [MSR'22](https://conf.researchr.org/home/msr-2022), [ASE'22](https://conf.researchr.org/committee/ase-2022/ase-2022-industry-showcase-program-committee)
 - [AIDB'21](https://sites.google.com/view/aidb2021/home/program-commitee), [MAPS'21](https://pldi21.sigplan.org/home/maps-2021)
 
+## Awards
 
+- High 5 Award for filing atleast 5 invention disclosures, Intel, 2022
+- Silver medal in ACM Student Research Competition, Code Generation and Optimization (CGO), 2015.
+- Computer Science Fellowship, Stony Brook University, 2010.
+- Graduate Tuition Scholarship, Stony Brook University, 2010–2015.