Welcome to the Systems and Software Development Laboratory (SSDL)!

In the Computer Science Department of the Technion is dealing with tools, language contracts and methodology for improving the quality of systems and software at all stages of development.

The scope of this laboratory has recently been expanded to combine several areas. One research direction involves the application and extension of formal methods for specification and verification. Another deals with novel language constructs to improve modularity and overcome the complexity of concurrent programming. The laboratory gives the students the ability and tools to develop and build any system or software they could think about.

  • 2015 SSDL Exhibition
  • Angry Birds
  • Self Balancing
  • SSDL Students
  • RoboDrink
  • The Spider
  • Musical instruments
  • The new laboratory
  • The Shwang
  • Magic hand
  • BFF