プロフィール詳細

プロジェクトを作成

★★★★★

☆☆☆☆☆

★★★★★

☆☆☆☆☆

Dr. Nishant S.に依頼

India

Deep Learning Researcher and Engineer

プロフィール概要

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.

専門分野

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

サービス

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

職務経験

Independent Researcher, Consultant, Educator

OffNote Labs

1月 2016 - 現在

Research Scientist

IBM Research

1月 2011 - 1月 2016

IBM Research

2011 - 2016

Research Staff member

NEC Labs

1月 2007 - 1月 2011

学歴

Ph.D.

Carnegie Mellon University

1月 2001 - 1月 2007

Ph.D.

Carnegie Mellon University

2001 - 2007

B. Tech. (Computer Science)

IIT Kharagpur

1月 1997 - 1月 2001

認定資格

• 認定資格の詳細は未入力です。

出版物

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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 131--146.

Sinha, Nishant and Karim, Rezwana and Gupta, Monika(2015). Simplifying web programming. Proceedings of the 8th India Software Engineering Conference. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 144--164.

Sinha, Nishant and Wang, Chao(2011). On interference abstractions. ACM SIGPLAN Notices. 46. (1). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 423--434.

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

(2010). Staged concurrent program analysis. Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 47--56.

(2010). Scalable and precise program analysis at nec. Formal Methods in Computer-Aided Design (FMCAD), 2010. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 13--22.

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

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

Chaki, Sagar and Sinha, Nishant(2006). Assume-guarantee reasoning for deadlock. Formal Methods in Computer Aided Design, 2006. FMCAD'06. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 534--547.

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

Clarke, Edmund and Sharygina, Natasha and Sinha, Nishant(2005). Program compatibility approaches. International Symposium on Formal Methods for Components and Objects. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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. Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 55.

(2003). Symbolic model checking of software. Electronic notes in theoretical computer science. 89. (3). Microsoft.AspNetCore.Mvc.Localization.LocalizedHtmlString 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.