The Fourth IASTED International Conference on
Advances in Computer Science and Technology
~ACST 2008~

April 2 – 4, 2008
Langkawi, Malaysia

TUTORIAL SESSION

Recent Advances in Verification, Equivalance Checking and SAT-Solvers

Dhiraj K. Pradhan
Bristol University, United Kingdom
[email protected]

Dr. Ashutosh Kumar Singh
Curtin University of Technology, India
[email protected]

Abstract

fiogf49gjkf0d

Timeline

fiogf49gjkf0d

Tutorial Materials

fiogf49gjkf0d

Target Audience

fiogf49gjkf0d

Background Knowledge Expected of the Participants

fiogf49gjkf0d

Qualifications of the Instructor(s)s

fiogf49gjkf0d

Tutorial Session Portrait

fiogf49gjkf0d
Professor Pradhan currently holds a Chair in Computer Science at the University of Bristol (U.K.). Recently, he had been Professor of Electrical and Computer Engineering Department at Oregon State University, Corvallis. Previous to this, Dr. Pradhan had held the COE Endowed Chair Professorship in Computer Science at Texas A & M University, College Station, also serving as Visiting Professor at Stanford University (Calif.). He was the founder of the Laboratory of Computer Systems at Texas A&M University.
Prior to this, Professor Pradhan held a Professorship at the University of Massachusetts, Amherst, where he also served as Coordinator of Computer Engineering. Dr. Pradhan has also worked at the University of California, Berkeley, Oakland University (Michigan), and the University of Regina, in Saskatchewan, Canada.
Additionally, Prof. Pradhan has worked in past as a Staff Engineer at IBM, more recently serving as the founding CEO of Reliable Computer Technology Inc. He is also the inventor of two patents, one of which was licensed to Mentor Graphics and Motorola. The recently announced verification tool Formal Pro by Mentor Graphics is based on his patent.
Professor Pradhan has contributed to Very Large Scale Integrated Computer-Aided design and test, as well as to fault-tolerant computing, computer architecture and parallel processing research, with major publications in journals and conferences, spanning more than 30 years. During this long career he has been well funded by various agencies in Canada, USA and UK.
Dr. Pradhan has also served as co-author and editor of various books, including Fault-Tolerant Computing: Theory and Techniques, Vols. I & II (Prentice-Hall, 1986), Fault-Tolerant Computer Systems Design (Prentice-Hall, 1996, second print 2003), and IC Manufacturability: The Art of Process and Design Integration (IEEE Press, 2000).
Professor Pradhan has served as an Editor in prestigious journals, including IEEE Transactions. Also, he has served as General Chair and Program Chair for various major conferences. The recipient of several awards, Dr. Pradhan's honors include 1996 IEEE Transactions on Computer-Aided Design Best Paper Award, with W. Kunz, on `Recursive Learning: A New Implication Technique for Efficient Solutions to CAD Problems Test, Verification and Optimization' and other best paper awards as well. Prof. Pradhan is included among 230 computer scientists worldwide whose work has been highly cited in the list appearing in www.ishighlycited.com.
A Fellow of both ACM, IEEE and JSPS , Professor Pradhan is also the recipient of a Humboldt Prize, Germany. In 1997, Dr. Pradhan was also awarded the Fulbright-Flad Chair in Computer Science.

Tutorial Session Portrait

fiogf49gjkf0d
Dr. Ashutosh Kumar Singh is presently associated as a faculty member with Department of Computer Science, Curtin University, Miri, Malaysia. He completed his Ph. D. in Department of electronics Engineering, Institute of technology, Banars Hindu University, Varanasi, India in 2000. He worked as a Sr. Lecturer and Deputy Dean (Research and Graduate Studies) in Faculty of Information Technology, University Tun Abdul Razak Kuala Lumpur Malaysia. Before joining this Dr. Singh was a Post Doc RA in the Department of Computer Science, University of Bristol under the supervision of Prof. D. K. Pradhan. He also worked in Faculty of Information Science and Technology, Multimedia University Malaysia for two years and Sr. Lecturer in Electronics and Communication Department at NIST, India for 1 ½ years.
Dr. Singh research area includes Verification, Synthesis, Design and Testing of Digital Circuits. He has published around 38 research papers till now in different conferences and journals in these areas. He is a co-author of two books "Digital Systems Fundamentals" and "Computer System Organization & Architecture" with Prentice Hall. He had been entitled for the awards such as Merit Award-03 (Institute of Engineers), Best Poster Presenter-99 in 86th Indian Science Congress held in Chennai, INDIA, Best Paper Presenter of NSC'99 INDIA.
He was an editorial board member of UNITAR e-journal and also involve in reviewing process in different journal and conferences such as IEEE transaction of computer, IEEE conference on ITC, ADCOM etc. He has worked as a Principal Investigator on the research project "Application of Decision Diagrams in Synthesis, Design and Testing of VLSI" in Malaysia.

References

[1] 
fiogf49gjkf0d