النا دوبرووا

النا دوبرووا

النا دوبرووا مدرک دیپلم مهندسی در علوم کامپیوتر را از دانشگاه فنی صوفیه، بلغارستان، در سال 1993،دکترا خود را در علوم کامپیوتر از دانشگاه ویکتوریا، بریتیش کلمبیا، کانادا، در سال 1997دریافت کرده. از سال 1998 او استادیار آزمایشگاه طراحی سیستم الکترونیکی در گروه الکترونیک در موسسه سلطنتی فناوری، استکهلم، سوئد بوده است. علایق تحقیقاتی او در سنتز منطق، تأیید رسمی و منطق چند ارزشی است.

کتاب های النا دوبرووا

طراحی سیستم های تحمل پذیر خطا