Wahid Chrabakh

Office: GSL - II
Office Phone: 805-893-5212
Main Office: 805-893-4321
Fax: 805-893-8553
US Mail:
Department of Computer Science
University of California
Santa Barbara, CA 93106

PhD Candidate in Computer Science at UCSB
Advisor: Dr. Rich Wolski

Job Application Material:

CV:(pdf),(ps)
Research Statement:(pdf),(ps)
Teaching Statement:(pdf),(ps)

Background Summary:

I had my undergraduate studies in Electrical Engineering at The University of Tennessee Knoxville.
I worked for a couple of years for networking companies: ALCATEL and TELNET. I later worked for The Learning Company as a software/lead engineer for Multimedia and Productivity software.
I was awarded a Masters in Computer Science from the Computer Science Departemnt at UTK in 2000.
I am now working towards a PhD degree at UCSB. My research is in Grid Computing.

Research:

My research areas include:

Grid Computing: [selected references]
Satisfiability Solvers and Parallel implementations: [selected references]

Publications:

Chrabakh, W. and Wolski, R., GridSAT Portal: A Grid Web-based Portal for Solving Satisfiability Problems Using National Cyberinfrastrcture, Jounal of Concurrency and Computation: Practice and Experience, Publisher: John Wiley Sons 2006 [ initial acceptance] (ps) (pdf)
Chrabakh, W. and Wolski, R., GridSAT: A System for Solving Satisfiability Problems Using a Computational Grid, Journal of Parallel Applications, Publisher: Elsevier, ISSN: 0167-8191 Imprint: NORTH-HOLLAND 2006 [ initial acceptance]
Chrabakh, W. and Wolski, R., GridSAT: Design and Implementation of a Computational Grid Application, Journal of Grid Computing, Publisher: Springer Netherland 2006 [ submitted] (ps) (pdf)
W. Chrabakh, R. Wolski, "Solving "hard" satisfiability problems using GridSAT",GGF14, June 27-30, 2004, Chicago IL (ps) (pdf), Grid Applications: from Early Adopters to Mainstream Users
W. Chrabakh, R. Wolski, "GridSAT Portal: A Grid Portal for Solving Satisfiability Problems On a Computational Grid",GGF14, June 27-30, 2004, Chicago IL(ps) (pdf), Science Gateways: Common Community Interfaces to Grid Resources
W. Chrabakh, R. Wolski, "GridSAT: A Chaff-based Distributed SAT Solver for the Grid", Supercomputing Conference, November 2003, Phoenix, AZ. (ps) (pdf)

Technical Reports

GrADSAT: A Parallel SAT solver for the Grid UCSB Technical Report 2003-05 (pdf) (ps)

Presentations:

"Solving "hard" satisfiability problems using GridSAT",GGF14, June 27-30, 2004, Chicago IL (slides in pdf), Grid Applications: from Early Adopters to Mainstream Users
"GridSAT Portal: A Grid Portal for Solving Satisfiability Problems On a Computational Grid",GGF14, June 27-30, 2004, Chicago IL(ppt) (pdf), Science Gateways: Common Community Interfaces to Grid Resources
GrADSAT demo presentation: SC2004 (ppt)
GriDSAT conference presentation: SC2003 (ppt)
GrADSAT demo presentation: SC2003 (ppt)
GrADSAT demo presentation: SC2002 (ppt)
Computational Grids: (ppt)

Teaching/Courses:

CS290I: Spring 2004

A brief schedule for Spring Quarter 2002 is here.
Winter Quarter 2002 is here.

Family photos

Last updated: 02/06/2003