Alan Grosskurth

Research

Automated C/C++ fact extraction with BFX

I'm currently interested in

• software architecture: automated extraction and analysis tools,
• software configuration management: automated software rebuilding, distributed source control;
• software security: bug elimination, extreme sandboxing;
• software development and maintenance: cooperative tools to help write high speed software or help apply a theory of programming.
• integrative computational biology.