Nitin Bhatia

Degree Registered For: MS

Supervisor: Meenakshi D'Souza and Sujit Kumar Chakrabarti

Date of Joining: August 2015

Research Interest : Formal Verification of Compiler Tool Chains

Biographical Sketch

Nitin met PC-AT/XT in high school and soon both became friends forever. He programmed him in GW-BASIC, PASCAL and explored DOS internals developing TSRs and games for fun.

Nitin has over 15 years of experience in software development. He currently works at Samsung Research Institute India, Bangalore. At Samsung, Nitin has been the Architect of Shading Language Compiler for Samsung's first programmable GPU for mobile devices and led the certified implementation of OpenGL ES API. His team won the Managing Director's Annual Business Award. More recently, he managed engineering team to develop software tools for random verification of 3D-Graphics API Implementations and Shading Language Compiler for GPUs. Currently, he leads the GPU compiler optimization team at Samsung.

Prior to joining Samsung, he worked at HCL Technologies Ltd in High Performance Compiler team enhancing FORTRAN compiler for a Super Computer. He also worked briefly in Motorola on Java Script Interpreter.

Nitin holds a B.Tech (Hons) in Computer Engineering from YMCA Institute of Engineering, Faridabad. He is currently exploring Formal Methods in Software Engineering at IIIT Bangalore. His interests include Computer Architecture, Compilers and Theoretical Computer Science. He believes that Software is like a beautiful painting and he agrees with Donald Knuth that programming is an art.

Nitin is an avid reader. He also listens to Hindi melodies. He was also a member of school band and played flute & drums. He was the house captain of his house in high school. Recently, he has been attracted to piano and has been listening to Brian Silas. He tried learning keyboards using a smart phone app but does not find enough time.

Courses taken till now: Discrete Maths, Data Structures and Algorithms