I work on the confluence of software systems engineering and machine reasoning, to develop systems which are highly active in their own design decisions on a continuous basis. I study this topic both at the software architecture level, in which humans and machines work in a balanced relationship to continuously co-design efficient software compositions in deployment for a range of different operating environments, and at the level of novel source code synthesis, to derive new building blocks which are better suited to particular operating conditions.