FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Barry Porter

Registered user since Mon 25 Nov 2019

Name:Barry Porter
Bio:

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.

Country:United Kingdom
Affiliation:Lancaster University
Personal website: http://www.barryfp.com
Research interests:Self-Adaptive Systems and Emergent Software Systems, Operating Systems, Distributed Systems

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile