Alexander Nadel ist Forscher bei Intel und wissenschaftlicher Mitarbeiter an der Fakultät für Daten- und Entscheidungswissenschaften des Technion in Haifa, Israel. Sein Forschungsinteresse gilt der Lösung von Enscheidungsprozeduren (SAT-Solving, SMT-Solving, MaxSAT, Model Checking) und ihren verschiedenen Anwendungen. Alexander ist seit 2003 bei Intel tätig und leitete die Entwicklung von Constraint-Solving-Technologien, die in verschiedenen Bereichen eingesetzt werden, darunter formale Verifikation, physikalisches Design (Place and Route), Scheduling und Testgenerierung. Alexander entwickelte auch mehrere Open-Source-Solver, die bei SAT-Wettbewerben und MaxSAT-Evaluierungen mehrfach ausgezeichnet wurden.