معرفی
Marek Adamek is a researcher affiliated with the Institute of Computer Science at the Faculty of Electronics and Information Technology, Warsaw University of Technology. His institutional email is M.Adamek@ii.pw.edu.pl, and he maintains an external academic profile in the university repository.
His research focuses on formal methods in software engineering, particularly temporal logic applications for code analysis. Key interests include:
- Line-of-code metrics and verification
- Kripke structure modeling
- Parallel programming constraints
- SAT solving for temporal logic (LTL)
- Software validation through formal methods
His bibliometric profile shows 3 publications with a Scopus h-index of 1, total SNIP of 0.846, and CiteScore of 1.33. The Polish Ministry of Science awards him a cumulative score of 50 based on his research output.
Awards and metrics:
- Scopus h-index: 1 (including autocitations)
- Total SNIP: 0.846
- Total CiteScore: 1.33
- Ministry Score: 50
He completed his PhD in 2019 with research centered on temporal logic applications in software engineering. His work bridges theoretical computer science and practical code analysis, particularly in parallel programming environments.
Marek Adamek در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- KKonrad BlachowskiBydgoszcz University of Science and Technology · مدرس ارشد
- MMarek RutkowskiBydgoszcz University of Science and Technology · استاد
- WWojciech KubissaBydgoszcz University of Science and Technology · استادیار
- MMarek DoboszBydgoszcz University of Science and Technology · استاد
- RRoman DąbrowskiMilitary University of Technology · استاد
- MMarcin KryńskiBydgoszcz University of Science and Technology · استادیار