top of page
This site was designed with the
.com
website builder. Create your website today.Start Now

Talks

INVITED TALKS

  • Hong Kong University of Science and Technology, Hong Kong, July 2013.

 

  • Indian Institute of Technology, BHU, India, Nov. 2012.

 

  • National Institute of Technology, KKR India, 18-19 Feb 2011.

 

  • University of Battambang, Kambodia, 22-29 April 2011.

 

  • “MODDs and its Applications”, December 5, 2005, San Francisco State University, San Francisco, USA.

 

  • “Formal Verification Techniques”, August 25, 2005, Institute of Technology, BHU, Vararansi, India.

 

  •  “Galois Decomposition of Boolean Functions: An Efficient Synthesis Approach with High Testability”, July 7, 2005, University of New Castle. New Castle, UK.

 

  •  “Decision Diagrams and Their Derivatives”, Jan 10, 2005, Oxford Brookes University, Oxford, UK.

KEYNOTE/TUTORIAL SPEAKER

  • “National Conference on Role of Information and Communication Technology in Transforming Education” 27 February 2015, Bahara University Shimla, India.

 

  • “2nd IEEE International Conference on Emerging Technology Trends in Electronics, Communication and Networking” 26-27 December 2014, SVNIT, India.

 

  • “Recent Advances in Verification”, National Conference on Research and Innovations in Electronics and Communications Engineering, 10-11 October 2014, NIET, Greater Noida, India.

 

  • “Second International Conference on Advances in Electronic Devices and Circuits – EDC 2013”, 4-5 May 2013, Kuala Lumpur Malaysia.

 

  • “Recent Advancement in Ranking and Web Spam Algorithm, International conference on Artificial Intelligence and soft computing, Department of Computer Engineering, Institute of Technology BHU, 7-9 Dec 2012, India

 

  • “Recent Advances in Verification, Equivalence Checking & SAT-Solvers”, ASTED International Conference on Advances in Computer Science and Technology (ACST 2008), Apr 02, 2008 to Apr 04, 2008, Langkawi, Malaysia.

bottom of page