Jithin Thomas is a AI Engineering Lead at Astrocade. He possess expertise in c++, parallel computing, c, computer architecture, software engineering and 17 more skills. He is proficient in French and English. Colleagues describe him as "I worked with Jithin during his internship in the summer of 2014 at Nvidia. Jithin, had previously worked at Nvidia at a very different role, so his internship project was on a completely new area for him. During his internship he was very focused on achieving the specified end-goal of his project and he managed to reach it by the end of his internship. During the process he also picked up on Python pretty quickly and managed to re-write and refactor multiple different scripts and tools into one python-based script. I really liked that at the beginning of each new task he would spend sufficient time to understand the problem and schedule the implementation phase, which was critical in finishing it on time.", "At Microsoft Research (India), Jithin worked with me as an Intern and then as a Research Developer exploring log analysis via structural and temporal pattern mining along with non-traditional applications of results from log analysis (e.g., automatic environment generation to assist software model checking). As an intern in 2011, Jithin explored the idea of automatically generating environment (O/S) models from observed structural and temporal patterns to help the verification of device drivers via model checking. In this effort, Jithin implemented a prototype to trace the execution of Windows device driver support routines, mine patterns from these traces (Tark project, http://research.microsoft.com/en-us/projects/tark), identify valid and likely combinations of these patterns, and synthesize C code that exhibited the behavior captured by these combinations. In less than six months, we went from the drawing board to seamlessly plugging in automatically generated models into SDV (Static Driver Verifier); an impressive feat for an intern. In April 2012, Jithin joined Microsoft as a research developer. During this stint, he explored non-traditional applications of results from log analysis (e.g., recommendation systems for customer support groups) while helping improve Tark. Besides helping out with development and deployment of log analysis solutions for pilots in various product groups, he also explored distributed computing to scale pattern mining (by combining mining tools in Tark into a simple map-reduce solution.) During his stints, Jithin was smart in using existing tools (e.g., tracing toolkit, mining toolkit), efficient and diligent in both prototype development and experimentation, and quick to learn building and modifying existing code base (e.g., Tark and SDV). He was also keen on using data from experiments to identify non-trivial software optimization opportunities. In addition, he demonstrated the ability to think critically, act independently (when necessary), and communicate well. Overall, I think Jithin is smart, diligent, and disciplined with the necessary skills and curiosity to excel and contribute in a challenging environment.", and "Jithin worked with the Advanced Development Group at Microsoft Research India(http://research.microsoft.com/en-us/groups/adg/default.aspx) for a little over a year - mid 2012 to mid 2013. He reported directly to me during this time and did a very thorough job of working on a project called "Tark" (http://research.microsoft.com/en-us/projects/tark/) which is a novel technique to mine patterns from sequential data. He worked closely with one of our Researchers on this project here and through this he demonstrated that he's a good and independent developer. He is conscientious and hard-working as well. I would not hesitate to hire him again for any similar role involving coding and working with researchers."