Software Engineering (PhD)

Graduate students in the PhD thesis program are focused on advancing knowledge of software lifecycle from design, implementation, and testing to documentation and maintaining, through intensive research in their chosen area of interest.

Areas of Research

• human-computer interaction
• machine learning
• programming languages
• software engineering
• optimization
• computational geometry
• performance evaluation
• databases
• data analytics and data centres
• safety-critical systems and certification
• model-driven engineering
• algorithms and complexity
• formal methods and formal verification
• mechanized mathematics
• numerical analysis
• scientific computing
• control systems
• logic and discrete math
• strings and string algorithms
• concurrency
• wireless networking
• mobile computing
• discrete event systems
• game design