Contacts
Filter by:
Joanne Atlee
Professor, Computer Science
Research Expertise
- Analysis of software requirements and specifications with computer-aided tools and techniques
- Configurable model-driven development (MDD)
- Practitioner-friendly specification and design notations that have precise semantics suitable for automated analysis
- Software modeling, model checking, documentation, and analysis
Link to profile:
Nancy Day
Professor, Computer Science
Research Expertise
- Development of automated and interactive formal methods tools
- Formal methods of system analysis
- Hardware verification
- Requirements specification and analysis
- Software Engineering
- System safety
Ìý
Link to profile:
Catherine Rosenberg
Professor, Electrical and Computer Engineering
Research Expertise
- Broadband networks: Internet protocol (IP), Asynchronous transfer mode (ATM), and Multiprotocol label switching (MPLS)
- Cellular networks: cross-layer integration, resource management, mobility and power management, opportunistic scheduling
- Multimedia applications: Content delivery network (CDN), peer-to-peer, and location-based services
- Network security: Distributed denial of services (DDOS), traffic monitoring
- Traffic engineering: quality of service, game theory and pricing, dynamic provisioning, network design, routing, congestion control, scheduling
- Wireless networks: sensors and Wireless local area networks (WLANs)
Link to profile:
Catherine Rosenberg