معرفی
Alexandru Dura is a Doctoral Student and Researcher at the Department of Computer Science, Faculty of Engineering, Lund University. He is affiliated with the ELLIIT initiative (Linköping-Lund) on IT and mobile communication and serves as a Profile Area Member for AI and Digitalization at LTH. His work bridges theoretical program analysis with practical software development needs through declarative approaches.
His research focuses on static program analysis, bug pattern detection, and declarative specification languages, with emphasis on incremental evaluation techniques. Key contributions include developing Clog for C static code checkers and JavaDL for Java bug pattern detection, which optimize analysis efficiency through automatic incrementalization. His fingerprint highlights expertise in Syntactics (100%), Pattern Matching (90%), and Specification Languages (50%).
Recent publications demonstrate a clear trend toward fully declarative frameworks that simplify static analysis tool development while maintaining performance. His work addresses real-world challenges in program verification, particularly for performance-critical systems where traditional analysis methods become computationally prohibitive.
Dura leads the active dissertation project "Performance bug detection through combined static and dynamic program analysis" (funded since October 2018), collaborating with Professor Carl Reichenbach. This research integrates multiple analysis techniques to identify subtle performance issues in software systems.
