Greater Cambridge Area
Christian Lindig is a leader in compiler-oriented software engineering and research management. He held positions as scientist and COO at international informatics research center Schloss Dagstuhl, researcher at Saarland University, and Senior Research Associate at Harvard University. Christian Lindig holds a PhD in computer science from Technische Universität Braunschweig. He authored over 30 scientific publications, including most recently a chapter in "The Art and Science of Analyzing Software Data" published 2015 by Morgan Kaufman. Christian Lindig enjoys functional programming, contributes to open source projects, and publishes his code on GitHub. In his research, Christian Lindig explored methods for automated detection of defects in software. He co-developed the Quick C-- compiler and uncovered with automated methods bugs in production compilers like GCC. He pioneered the application of formal concept analysis in software engineering, which is a standard technique toady, and provided a widely-used open-source implementations. Fun fact: Christian Lindig designed the logos for programming languages Standard ML of New Jersey, Oz/Mozart and Gecode.
As Staff Scientist at Schloss Dagstuhl I drafted the scientific evaluation report for the period of 2009 to 2015. The report is reviewed by an international committee that provides recommendation on direction and funding of the institute. The report consists of about 700 pages (for the first time in English) and reports about Schloss Dagstuhl's three main activities: hosting scientific seminars, publishing open-access conference proceedings, and operating the DBLP literature database.
Product Manager in a start-up company for webmate.io, an innovative hosted online service for manual and automated test of web pages and web applications. Tests are based on comparing web applications across browsers at the DOM level.
Managed as COO (Geschäftsführer) international, publicly funded non-profit research institute with income from hosting seminars, research grants, and open-access publishing. Oversaw budget of 2.5M Euro, 45 employees, 3 sites and all aspects of funding, taxes, financial planning and reporting. Schloss Dagstuhl’s main business is hosting 3500+ international researchers every year who attend 75+ week- long research seminars (resulting in 13 500+ overnight stays) as well as indexing and publishing research literature in computer science. 
Staff scientist at Schloss Dagstuhl, responsible for managing and supporting its scientific seminar program where each year 3500+ international researchers in computer science attend more than 75 week-long seminars.
Developed Quest, a tool for testing C compilers automatically. Conceptualized an Eclipse plug-in for automatic fault localization in Java programs. Generalized mining of aspects for aspect-oriented pro- gramming. Using automatically-generated compiler tests, uncovered new bugs in mature C compilers, including GCC and the Intel Research Compiler.