רשתות בוליאניות הן מערכות דינמיות שכוללות אוסף של יחידות פשוטות. כל יחידה יכולה להיות באחד משני מצבים – מצב פעיל או לא פעיל – וההתפתחות הדינמית מבוססת על חוקים לוגיים שמחברים בין היחידות. רשתות כאלו משמשות למטרות רבות, למשל למידול וניתוח של רשתות חברתיות שמתארות אינטראקציה בין בני אדם ולבניית מודלים חישוביים של מערכות ביולוגיות שונות] למשל רשתות אינטראקציה בין חלבונים או רשתות שמתארות את ההתנהגות של גנים שיכולים להיות מופעלים (כלומר מתורגמים לחלבונים) או מושתקים. מחקר זה עסק בניתוח שאלות חשובות מתחום תורת המערכות והבקרה ברשתות בוליאניות. למשל, בכמה יחידות פשוטות צריך להתבונן לאורך זמן כדי שנוכל להסיק מסקנות לגבי מצב הרשת כולה? כמה יחידות פשוטות צריך לבקר מבחוץ כך שנוכל להביא את הרשת כולה מכל מצב נתון לכל למצב רצוי? באופן כללי, אלו שאלות קשות שפתרונן דורש אלגוריתמים שסיבוכיותם גדלה באופן מעריכי עם הגידול במספר היחידות הפשוטות. המחקר התמקד בסוג מסוים של רשתות בוליאניות שנקראות conjunctive Boolean networks והראה שעבורן אפשר לפתור בעיות אלו ביעילות רבה.