Profile Details

Create Project

★★★★★

☆☆☆☆☆

USD 150 /hr

★★★★★

☆☆☆☆☆

Hire Dr. Nishant S.

India

USD 150 /hr

Deep Learning Researcher and Engineer

Profile Summary

Ph.D., Carnegie Mellon. B. Tech. IIT KGP. Worked at IBM Research, NEC Labs. http://offnote.co Mathematician and hands-on engineer with 17+ yrs of research experience, published in top international conferences, several patents. Academia -> Industry -> Startups. Educator, Speaker and Mentor. Love to distill and transform complex technology into consumable products. Expertise: Deep learning and its multi-modal applications to text, speech and vision. My projects include a mixture of creative, algorithmic problem solving together with model building/deployment across the distributed machine learning and big data stack. Research interests include mathematical modeling, logic programming, constraint solving/optimization, theorem proving, distributed data processing. Performance optimization on GPUs, and DL tools (Pytorch, Tensorflow/Keras), Python ecosystem. I help companies understand and maneuver through the complex, evolving AI space, strategy planning and build cutting-edge solutions which maximize ROI and enable market leadership. Enjoy mentoring on theoretical and practical aspects of deep learning and AI.

Subject Matter Expertise

• ☆ Distributed Computing
• ☆ Data Analysis
• ☆ Machine Learning
• ☆ Artificial Intelligence
• ☆ Computer Vision
• ☆ Mathematical Logic
• ☆ Language & Linguistics
• ☆ Tensorflow

Services

• Writing
• Research
• Consulting
• Data & AI
• Product Development

Work Experience

Independent Researcher, Consultant, Educator

OffNote Labs

January 2016 - Present

Research Scientist

IBM Research

January 2011 - January 2016

IBM Research

2011 - 2016

Research Staff member

NEC Labs

January 2007 - January 2011

Education

Ph.D.

Carnegie Mellon University

January 2001 - January 2007

Ph.D.

Carnegie Mellon University

2001 - 2007

B. Tech. (Computer Science)

IIT Kharagpur

January 1997 - January 2001

Certifications

• Certification details not provided.

Publications

CONFERENCE PAPER

Chen, Yu-Fang and Hong, Chih-Duo and Leng{\'a}l, Ond{\v{r}}ej and Mu, Shin-Cheng and Sinha, Nishant and Wang, Bow-Yaw(2017). An executable sequential specification for Spark aggregation. International Conference on Networked Systems. p. 421--438.

Sung, Chungha and Kusano, Markus and Sinha, Nishant and Wang, Chao(2016). Static DOM event dependency analysis for testing web applications. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. p. 447--459.

Dhok, Monika and Ramanathan, Murali Krishna and Sinha, Nishant(2016). Type-aware concolic testing of JavaScript programs. Proceedings of the 38th International Conference on Software Engineering. p. 168--179.

Chen, Yu-Fang and Hong, Chih-Duo and Sinha, Nishant and Wang, Bow-Yaw(2015). Commutativity of reducers. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. p. 131--146.

Sinha, Nishant and Karim, Rezwana and Gupta, Monika(2015). Simplifying web programming. Proceedings of the 8th India Software Engineering Conference. p. 80--89.

Sinha, Nishant and Karim, Rezwana(2015). Responsive designs in a snap. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. p. 544--554.

Murali, Vijayaraghavan and Sinha, Nishant and Torlak, Emina and Chandra, Satish(2014). What gives? A hybrid algorithm for error trace explanation. Working Conference on Verified Software: Theories, Tools, and Experiments. p. 270--286.

Chaki, Sagar and Gurfinkel, Arie and Sinha, Nishant(2014). Efficient verification of periodic programs using sequential consistency and snapshots. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. p. 51--58.

Sinha, Nishant and Karim, Rezwana(2013). Compiling mockups to flexible uis. Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. p. 312--322.

Thummalapenta, Suresh and Lakshmi, K Vasanta and Sinha, Saurabh and Sinha, Nishant and Chandra, Satish(2013). Guided test generation for web applications. Proceedings of the 2013 International Conference on Software Engineering. p. 162--171.

Sinha, Nishant and Singhania, Nimit and Chandra, Satish and Sridharan, Manu(2012). Alternate and learn: Finding witnesses without looking all over. International Conference on Computer Aided Verification. p. 599--615.

Yang, Jing and Balakrishnan, Gogul and Maeda, Naoto and Ivan{\v{c}}i{\'c}, Franjo and Gupta, Aarti and Sinha, Nishant and Sankaranarayanan, Sriram and Sharma, Naveen(2012). Object model construction for inheritance in c++ and its applications to program analysis. International Conference on Compiler Construction. p. 144--164.

Sinha, Nishant and Wang, Chao(2011). On interference abstractions. ACM SIGPLAN Notices. 46. (1). p. 423--434.

Sinha, Nishant(2010). Modular bug detection with inertial refinement. Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. p. 199--206.

(2010). Staged concurrent program analysis. Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering. p. 47--56.

(2010). Scalable and precise program analysis at nec. Formal Methods in Computer-Aided Design (FMCAD), 2010. p. 273--274.

Singh, Atul and Sinha, Nishant and Agrawal, Nitin(2010). Avatars for pennies: Cheap n-version programming for replication. 6th Workshop on Hot Topics in System Dependability.

Kahlon, Vineet and Sinha, Nishant and Kruus, Erik and Zhang, Yun(2009). Static data race detection for concurrent programs with asynchronous calls. Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. p. 13--22.

Sinha, Nishant(2008). Symbolic program analysis using term rewriting and generalization. Formal Methods in Computer-Aided Design, 2008. FMCAD'08. p. 1--9.

Sinha, Nishant and Clarke, Edmund(2007). SAT-based compositional verification using lazy learning. International Conference on Computer Aided Verification. p. 39--54.

Chaki, Sagar and Sinha, Nishant(2006). Assume-guarantee reasoning for deadlock. Formal Methods in Computer Aided Design, 2006. FMCAD'06. p. 134--144.

Kahlon, Vineet and Gupta, Aarti and Sinha, Nishant(2006). Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. International conference on computer aided verification. p. 286--299.

Chaki, Sagar and Clarke, Edmund and Sinha, Nishant and Thati, Prasanna(2005). Automated assume-guarantee reasoning for simulation conformance. International Conference on Computer Aided Verification. p. 534--547.

Sharygina, Natasha and Chaki, Sagar and Clarke, Edmund and Sinha, Nishant(2005). Dynamic component substitutability analysis. International Symposium on Formal Methods. p. 512--528.

Clarke, Edmund and Sharygina, Natasha and Sinha, Nishant(2005). Program compatibility approaches. International Symposium on Formal Methods for Components and Objects. p. 243--258.

Chaki, Sagar and Clarke, Edmund M and Ouaknine, Jo{\"e}l and Sharygina, Natasha and Sinha, Nishant(2004). State/event-based software model checking. International Conference on Integrated Formal Methods. p. 128--147.

Talupur, Muralidhar and Sinha, Nishant and Strichman, Ofer and Pnueli, Amir(2004). Range allocation for separation logic. International Conference on Computer Aided Verification. p. 148--161.

Samanta, Debasis and Sinha, Nishant and Pal, Ajit(2002). Synthesis of high performance low power dynamic cmos circuits. Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design. p. 99--104.

Badrinath, R and Mitra, Abhijit and Sinha, Nishant and Mukherjee, Niloy(2001). Real-time performance modeling of (3G) UMTS system. Enabling Technologies for 3G and Beyond. 4529. p. 46--57.

OTHER

Chandra, Satish and Thummalapenta, Suresh and Sinha, Nishant and Sinha, Saurabh and Vaishampayan, Anand and Lakshmi, Vasanta K(2015). Generating test cases for covering enterprise rules and predicates.

Chandra, Satish and Lakshmi, Kommineni Vasanta and Sinha, Nishant and Sinha, Saurabh and Thummalapenta, Suresh and Vaishampayan, Anand Krishna(2014). Efficiently generating test cases.

Balakrishnan, Gogul and Maeda, Naoto and Ivancic, Franjo and Sinha, Nishant and Gupta, Aarti and Yang, Jing(2014). Embedding class hierarchy into object models for multiple class inheritance.

Sinha, Nishant and Wang, Chao(2013). Systems and methods for concurrency analysis.

Sinha, Nishant and Wang, Chao(2013). Precise thread-modular summarization of concurrent programs.

Kahlon, Vineet and Sinha, Nishant and Zhang, Yun and Kruus, Eric J(2013). Fast and accurate data race detection for concurrent programs with asynchronous calls.

Sinha, Nishant(2012). Modular bug detection with inertial refinement.

Wang, Chao and Mahmoud, SAID and Gupta, Aarti and Kahlon, Vineet and Sinha, Nishant(2012). Dynamic test generation for concurrent programs.

Sinha, Nishant(2012). Symbolic program analysis using term rewriting and generalization.

Sinha, Nishant(2007). Automated compositional analysis for checking component substitutability. Dissertation Abstracts International. 68. (11).

JOURNAL ARTICLE

Chaki, Sagar and Clarke, Edmund and Sharygina, Natasha and Sinha, Nishant(2008). Verification of evolving software via component substitutability analysis. Formal Methods in System Design. 32. (3). p. 235--266. Springer US

Clarke, Edmund and Jain, Himanshu and Sinha, Nishant(2006). Grand challenge: Model check software. NATO Security through Science Series D-Information and Communication Security. 1. p. 55. IOS PRESS

Sinha, Nishant and Chaki, Sagar(2006). Assume-Guarantee Reasoning for Deadlock.

Chaki, Sagar and Clarke, Edmund and Ouaknine, Jo{\"e}l and Sharygina, Natasha and Sinha, Nishant(2005). Concurrent software verification with states, events, and deadlocks. Formal Aspects of Computing. 17. (4). p. 461--483. Springer-Verlag

Chaki, Sagar and Sharygina, Natasha and Sinha, Nishant(2004). Verification of evolving software. Citeseer

Sharygina, Sagar Chaki Natasha and Sinha, Nishant(2004). Verification of evolving software. SAVCBS 2004 Specification and Verification of Component-Based Systems. p. 55.

(2003). Symbolic model checking of software. Electronic notes in theoretical computer science. 89. (3). p. 480--498. Elsevier Science

Sinha, Nishant(2002). Language CL.

Sinha, Nishant and Singhania, Nimit and Chandra, Satish and Sridharan, ManuAlternate and Learn: Finding witnesses without.

Sharygina, Sagar Chaki Jo{\"o}el Ouaknine Natasha and Sinha, NishantState/Event-based Software Model Checking.

REPORT

Ivers, James and Sinha, Nishant and Wallnau, Kurt(2002). A basis for composition language CL.