Tarek F. Abdelzaher

Prof. Abdelzaher is especially interested in developing theory, architectural support, and computing abstractions for predictability in software systems, motivated by increasing software complexity and the growing sources of non-determinism. Applications range from sensor networks to large-scale server farms, and from avionics to homeland defense.