The Software Engineering and Network Systems (SENS) Laboratory supports research in software engineering, formal methods, and distributed computing. Research topics include formal methods supporting the development and evolution of software systems, object-oriented software engineering, formal specification and verification of systems, synthesis of interactive systems, program understanding, design of network interface software and network protocols, and Internet-based parallel and distributed computing. The lab is currently equipped with a variety of interconnected high-end workstations and PC platforms, an NSF-supported cluster of symmetric multiprocessors, and a number of support peripherals.
Dear SENS members, we will use this wiki to organize lab information. Everybody can help it to grow. Please register a user account and make changes when you navigate the pages. You can also create new pages and upload pictures. In case you are not familiar with it, the syntax of writing or modifying a wiki page is quite simple. Here is a quick cheatsheet. Another good way to start is to read the code of existing pages. Simply click one of the edit links on a page (you will see them when you log in). I hope you enjoy the wiki!