Propositional SATisfiability

Prolog Termination

Calendar Software

Software Repository

Rewriting Applets

Responsa Project (winner of Israel Prize)

Friedberg Genizah Project

Combinatorial Objects

Discrete Math Applets

Patents

Software Errors

Hebrew Corpora