Iwo Błądek
Scholar

Iwo Błądek

Google Scholar ID: PoK1YZUAAAAJ
Politechnika Poznańska
Program synthesisartificial intelligenceautomatic theorem proving
Citations & Impact
All-time
Citations
130
 
H-index
7
 
i10-index
5
 
Publications
13
 
Co-authors
0
 
Resume (English only)
Research Experience
  • A faculty member at the Laboratory of Intelligent Decision Support Systems, Institute of Computing Science, Poznan University of Technology. Some of the projects are accessible on his GitHub.
Education
  • Received a Ph.D. in Computer Science from Poznań University of Technology under the supervision of Prof. Krzysztof Krawiec in 2022.
Background
  • Research interests include: Artificial intelligence, Neuro-symbolic computation, Program synthesis, Evolutionary algorithms, Theory of computation.
Co-authors
0 total
Co-authors: 0 (list not available)