Assistant Professor of Electrical Engineering and Computer Science. Programming Languages and Verification Group. Computer Science and Artificial Intelligence Laboratory. Department of Electrical Engineering and Computer Science. The basic mission of my research group is to build the programming platform of the future, based on close integration of computer theorem-proving tools. Especially the Coq proof assistant.

By facilitating communication and interaction between researchers. The objective of Schloss Dagstuhl is to. Promote basic and application-oriented research in the field of informatics,. And in open access publishing.

Of the Faculty of Electrical Engineering, Mathematics, and Computer Science. Design, engineering and analysis of complex, distributed and cooperative software and computer systems. Together with the Department of Intelligent Systems. Research and education of the faculty.

Modularity shapes the quality of information systems, software, and system production processes. Modularity influences system diversity, dependability, performance, evolution, the structure and the dynamics of the organizations that produce systems, human understanding and management of systems, and ultimately system value. The scope of this event covers all perspectives on software systems in all their life-cycle phases.

Start of topic Skip to actions. The Software Evolution Research Lab. The Software Evolution Research Laboratory aims at addressing this. Example topics include aspect-oriented software development and domain-specific languages. We are also actively involved in a number of Conferences.

Software engineer by trade, product developer and startup founder by coincidence. I currently live in SF. Why are we here? Every now and then I learn about some new initiative meant to incentivize high growth entrepreneurship in Europe, or The Netherlands more specifically,. New York, New York. And startup founder by coincidence.