Kamal Abdali

Computer-Communications Research Division

National Science Foundation

Brief Biography:

S. Kamal Abdali is Acting Division Director of the Computer-Communications Research Division at NSF.

He received a Ph.D. in Computer Science from the University of Wisconsin, Madison, in 1974. He has been a computer science faculty member in New York University and Rensselaer Polytechnic Institute, and has held adjunct appointments at Oregon Graduate Institute and the University of Delaware. Prior to joining NSF, he was a principal scientist at the computer research lab in Tektronix, and led the symbolic computation research group there.

His research has spanned the combinatory and lambda calculi, programming language semantics, and computer algebra language and systems design. His current interests include symbolic and algebraic computation, computer algebra systems, and automated theorem proving.