Program Responsibilities:
S. Kamal Abdali 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.
|