FEA Distinguished Alumnus K Sakallah

Description: industrial sites. His current research interests include the area of computer-aided design with emphasis on logic and layout synthesis, Boolean satisfiability, discrete optimization, and hardware and software verification. Dr. Sakallah was an Associate Editor of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems from 1995 to 1997 and has served on the program committees of the International Conference on Computer-Aided Design, Design Automation Conference, and ...