Jeanne Ferrante

• Languages and compilers for parallel computing
• Some upper and lower bounds on decision procedures in logic