Students

Post-doctoral Researchers

• Sidney Rosario

Doctoral Students

• <Ali Ibrahim: Safe query objects & dynamic prefetching optimization
• <Ben Wiedermann: Extracting relational queries via control/data flow analysis
• <Srinivas Nedunuri: Synthesis for model-based software development
• <Ben Delaware: Feature-Oriented Programming
• <David Kitchin: Computation orchestration, agents, workflow semantics
• ALTOYAN, NAJD ABDULAZIZ
  • <Benjamin Hardekopf
    • <Hanbing Liu: Formal Specification and Verification of a JVM and its bytecode verifier
      • <Mark Grechanik: Design, Analysis, and Verification of Large-Scale Polylingual Systems
        • <Roberto E. Lopez-Herrejon: Understanding Feature Modularity
          • Supervised by Daniel Miranker

      Undergraduates

      • Interface Design and Performance of Web Services
      • Exploring Universe Polymorphism in Omega

      • Christina Wang: Software Development Studio course design