Smart and Scalable Urban Traffic Control It is a real-time, adaptive traffic control system that optimally schedules dynamic traffic flows in urban road networks, by integrating traffic theory with artificial intelligence. The deployment of smart traffic signals in a road network of 18 intersections achieved over 24% reduction in travel time. This system was recently listed as 25 Great Things about computer science at Carnegie Mellon University.
	Multimodal Urban Traffic Control We focus specifically on accommodating pedestrians and optimizing the delay tradeoff between vehicles and pedestrians, based on real-time and statistics of pushbutton activation records. Simulation results and field tests were then performed on a real-world road network, to demonstrate that the algorithm can effectively reduce pedestrian delay without significantly increasing vehicle delay.
	Intelligent Route Choice Framework We define a unified agent-based framework for including different route choice models with a probabilistic sequential decision-making process. Within this framework, decentralized users might avoid the congestion effect as the system evolves towards the system optimal equilibrium. Together with adaptive traffic control, the framework can further reduce the user travel time significantly.
	Big Data and Urban Informatics We present a study combining participatory and physical sensing data, based on 3.4 million checkins and 125 million vehicle records collected in urban area, to improve urban mobility applications such as anomaly traffic detection and reasoning, traffic information extraction, and traffic demand analysis.
	High-Speed Intersection Dilemma-Zone Warning and Control System As drivers approach an intersection and the light changes to yellow, they might face a “dilemma zone” where they choose between braking hard to stop or running a red light. An integrated Infrastructure and on-board warning system was designed, utilizing DSRC-based V2I communication with traffic light status, to help drivers making better stop/go decisions and prevent potential collision issues.
	Driver Distraction and Fatigue Detecting and Warning System Driver distraction and fatigue are among the major road risk factors associated with safety critical incidents. To improving the detection accuracy, the system considers a fusion method utilizing multiple non-intrusive sensing modes, including driver behavioral measures (through computer vision), driving style based measures (through CAN bus), and driver physiological measures (through wearables).
	Cooperative Group Optimization (CGO) System The CGO system consists of a group of agents cooperating with their peers in a sharing environment for finding high-quality solution(s). Based on a user-oriented development framework, different CGO cases that representing for complex optimization algorithms can be effectively defined by a simple script assembling over instances of competent algorithmic components in an adaptive toolbox. The algorithmic space can be easily evolved by adaptively accumulating competent components.
	Narrowing the Bounded Gaps between Primes This is a Polymath project led by the Fields Medalist Prof. Terence Tao, in collaboration with a team of top mathematicians. My role was in developing optimization algorithms to improve the records for bounded gaps between primes. The project produced two research papers (A | B). The work was featured on the cover of Notices of the AMS, the world’s most widely read mathematical journal.
	Meta-Heuristic Magic Square Solver The problem is to solve the Magic Square Problem, a combinatorial optimization problem, using modern heuristic methods. Here the constrained version stipulates that the solution matrix must have a pre-defined contiguous sub-matrix. As the 2nd runner-up, this program solved the constrained version of 400 x 400 magic square within a minute in in an International Optimisation Competition.
	Solver for Nonlinear Programming Nonlinear programming is required for many real-world problems with more complex constraints. The NLPSolver (Solver for Nonlinear Programming) is an extension of Calc in Apache OpenOffice. It includes two of my algorithms: DEPSO and Social Cognitive Optimization (SCO), which can handle continuous and integer variables as well as nonlinear constraints.
	On-Demand E-Supply Chain Integration This is an agent-mediated approach to on-demand e-business supply chain integration. Each agent works as a service broker, exploring individual service decisions as well as interacting with each other for achieving compatibility and coherence among the decisions of all services.
	Identification of Songbird Species in Field Recordings This a machine learning project in collaboration with the Carnegie Museum of Natural History, to identify bird species from continuous field audio recordings, for studying the patterns of migratory songbirds and gaining a better understanding about the climate and ecological changes in the world.
	Expert System for Model Quality Assurance The Accelicon Model Quality Assurance (MQA) is automated and customizable circuit model library validation software for advanced technologies. It has become the industry standard for circuit model acceptance and signoff and is widely adopted by leading technology companies.