M. Rusinowitch is senior researcher at INRIA. He got a Ph.D. in Computer Science at Nancy in 1987. He is now leader of the CASSIS research team of INRIA-Lorraine with about 20 members, whose activities are focused on automated deduction, software verification and security. M. Rusinowitch’s research is concerned with the automated detection of flaws in software using symbolic analysis techniques. He is the author or coauthor of more than 22 papers in journals and 50 papers in conference and is the author of a book. He is also cochairman of the next IJCAR conference to be held in 2004 at Cork and PC member of several events in automated deduction and security
