!!!Orna Grumberg
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='grumberg_orna_small.jpg'  alt='Orna Grumberg' height='200'}]
%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://www.cs.technion.ac.il/people/orna]
\\ \\
\\ \\
\\ \\
__Present and Previous Positions__
* 2011-today, The Leumi Chair in Science
* 2005-today, Full Professor, Computer Science Department, Technion, Israel
* 2010-today, Steering committee of the Computer Aided Verification (CAV) conference
* 2008-2010, A member of the CAV award committee (Chairing: 2010)
* 2003-today, Directory board of the NATO summer school at Marktoberdorf (blue series)
* 2003-today, Editorial board of the Journal on Information and Computation
* 2003-today, Editorial board of the Journal on Formal Methods in System Design
* 2004-2007, Editorial board of the Journal on Logical Methods in Computer Science (LMCS)
\\
__Fields of Scholarship__
* Model checking 
* Automated verification of hardware and software systems
* Abstraction, refinement, and counterexamples
* Compositional model checking
* SAT-based model checking
* Distributed model checking
* Security vulnerabilities
* Temporal logics
* Automata on infinite objects
\\
%%(display:none;)
__Honours and Awards__
%%
\\ \\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Grumberg_Orna/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Grumberg_Orna/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Grumberg_Orna/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Grumberg_Orna/OtherInformation]
%%
%%





[{ALLOW view All}][{ALLOW edit ogrumberg}][{ALLOW upload ogrumberg}][{ALLOW comment All}]