Modeling and prediction of gene interaction networks by using formal verification tools

הרקע לפרויקט:

רשת גנטית היא למעשה רשת בוליאנית ולכן יש דמיון מסוים למעגלים דיגיטליים. המוטיבציה היא להשתמש בכלים החזקים שיש בתחום ה vlsi על מנת ללמוד על הרשת הביולוגית.

מטרת הפרויקט:

בניית תשתית לתרגום אוטומטי של רשת גנטית לשפת חומרה וביצוע סימולציה פורמלית לרשת

תכולת הפרויקט:

בחלק הראשון המחקר יתמקד ב״תרגום״ הרשת הגנטית לשפת חומרה (ככל הנראה ורילוג) ובשלב השני שימוש בכלי בדיקה וסימולציה לבחינת הרשת.

קורסי קדם:

מעגלים משולבים

דרישות נוספות:

ידע בשפת חומרה

מקורות:

1. Yordanov, Boyan, et al. "A method to identify and analyze biological programs through automated reasoning." NPJ systems biology and applications 2.1 (2016): 1-16.