We are looking for passionate new PhD students and Master students to join the team (more info) !
Dr. Lei was a Member of Technical Staff in Fujitsu Network Communications, Inc. for about three years. His research is in the area of automated software analysis, testing and verification for both functional and non-functional (e.g., security, performance) properties.
Research Interests: Software Engineering, Software Secuirty and AI-based Software