Gadiel Auerbach
 formal verification
IBM Research
India
Biography
Dr. Gadiel Auerbach is currently working as a Research Engineer in the Department of  formal verification, IBM Research , India. His research interests includes  formal verification. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Gadiel Auerbach is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to  formal verification. Dr. Gadiel Auerbach is currently working as a Research Engineer in the Department of  formal verification, IBM Research , India. His research interests includes  formal verification. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Gadiel Auerbach is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to  formal verification.
Research Interest
 formal verification
