خاویر اسپارزا

خاویر اسپارزا (Javier Esparza) دانشمند علوم کامپیوتر و فیزیک‌دان بوده است و در دانشگاه ساراگوسا تحصیل کرد. او مدرک کارشناسی ارشد فیزیک نظری و دکترای علوم کامپیوتر را دریافت نمود و در دانشگاه فنی مونیخ فعالیت کرد. تمرکز پژوهش‌های اسپارزا بر نظریهٔ همگامی، تئوری شبکه‌های پتری، وارسی مدل نرم‌افزار، آنالیز برنامه‌ها و سیستم‌های دارای حالت نامتناهی بوده است. او در زمینهٔ رویکرد الگوریتمی به نظریهٔ اتوماتا کتاب Automata Theory: An Algorithmic Approach را نوشت و مقالات علمی زیادی منتشر کرد.