معرفی
Eduard Baranov is a Visiting Lecturer and Research Assistant at the Université catholique de Louvain, affiliated with the Louvain Polytechnic School (EPL) through the Computer Engineering Center (INGI) under the Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM). His work bridges academic research with industrial applications.
- Research Interests: Software engineering, formal methods, cybersecurity, autonomous systems, and model checking. His focus spans scalable coverage estimation, secure healthcare systems, and statistical validation of privacy protocols.
- Publications: Recent work includes t-wise coverage algorithms for software testing, formal verification of multi-agent autonomous systems, and privacy-preserving frameworks aligned with GDPR standards. His research often integrates symbolic execution and statistical model checking.
- Collaborations: Collaborates with researchers like Axel Legay, Kuldeep S. Meel, and Thomas Given-Wilson, contributing to journals such as IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology.
- Contact: Email: eduard.baranov@uclouvain.be | Office: INGI - Réaumur, L5.02.01, Place Sainte Barbe 2, 1348 Louvain-la-Neuve.
۰مقاله منتشرشده