We are in the process of revising the offers for M.S. thesis for the first semester of 2015. In the section Thesis you may find the latest offers from our research group. Some of the reported thesis may be available in collaboration with industries.

Today we published five proposals, with themes that range from visualization to formal methods passing through data gathering and analysis, mainly in the Internet of Things domain:

• End-user visualization of trigger-action rules in a smart home
  where the goal is to design and develop a graphical interface for visualizing, in an intuitive way, trigger-action rules defined for a smart home;
• Automatic problems detection in trigger-action rules for a smart home
  where the purpose is to realize a system for automatic problem detection of trigger-action rules in a smart home, by exploiting model checking technologies;
• Event-driven dispatcher for the Internet of Things
  where the goal is to design and develop a system able to dispatch multiple notifications to different connected devices (e.g., Philips Hue, PC, smartphone, hi-fi)
• Internet of You: IoT meets your personal digital traces
  in which the student will collect and analyze data coming from various Web services and from IoT devices installed in the a real setting (e.g., his/her home) and daily used;
• High-level end-user programming in the Internet of Things
  where the objective is to design and develop a graphical interface for high-level end-user programming in the Internet of Things.

For further information, read the thesis proposals and contact at least one of the specified advisors, members of the e-Lite group.

Stay tuned for more news!