Scholar

Fadi A Zaraket

Google Scholar ID: 1e2w_FoAAAAJ

American University of Beirut

automated reasoning for program correctness and information extraction

Citations & Impact

All-time

Citations

327

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Research Experience

Associate Professor at the American University of Beirut, ECE Department, since February 2009
Worked at IBM on logic verification and debugging tools from June 2001 to December 2008
Worked at Sun Microsystems and Santa Cruz Operations on kernel development from April 1999 to June 2001
Leads the Program Correctness Automation Lab (PCALab)
Leads the Computational Linguistics and Information Extraction Lab (CLIELab)

Co-authors

53 total