חבר סגל בפקולטה למדעי המחשב בטכניון. חוקר נושאים בתיאוריה של מדעי המחשב: אוטומטים, לוגיקה ומערכות דינמיות.