The ITMO Software Engineering Laboratory, under the leadership of Professor Bertrand Meyer, pursues research on trusted components: reusable software elements with a guarantee of quality. This broad area encompasses many topics in object-oriented programming, languages, static and dynamic verification techniques, and practical methods for building high-quality software. We use Eiffel as our basic tool but also apply our results to a wide variety of other environments.
We host the software engineering seminar (Thursdays and Fridays, 18 to 21) with talks by our group members, colleagues from other universities in the Saint Petersburg area, and visitors. Please visit us!
Contact: Lidia Perovskaya.
Useful links: ITMO | ITMO Chair of Programming Technology | ETH Chair of Software Engineering | Eiffel Software