Upcoming Talks and Events
Eden Tekle: DeepLeish: Deep Learning–Based Image Pattern Recognition for Automated Detection of Leishmaniasis Parasites in Microscopic Images
| Tuesday, November 3, 2026, 10:00 | |
| NTC building at Teslova 5b, seminar room TC211. | |
| Deep learning models have significantly advanced high-speed feature extraction and object detection in medical diagnostics. This presentation, outlines foundational work on 'DeepLeish', a decision-support system for the automatic detection of Leishmania parasites from Giemsa-stained microscopic images. The framework employs YOLO (You Only Look Once) architectures to enable rapid and automated detection of Leishmania parasites in microscopic images. The study was motivated by the limitations of conventional microscopic diagnosis, which can be time-consuming, subjective, and dependent on experienced laboratory professionals. The aim was to investigate whether deep learning based image pattern recognition could support faster and more consistent parasite detection. The research involved preparation and analysis of microscopic image datasets containing leishmaniasis parasites, negative backgrounds, and monocyte cells. Image preprocessing and augmentation techniques, including image rotation and Gaussian filtering, were applied to improve data variability and model generalization. Three deep-learning object-detection models YOLOv5, Faster R-CNN, and SSD ResNet50 FPN were trained, fine-tuned, and compared using performance measures such as mean average precision, recall, and intersection over union. Through this research, I gained practical experience in medical image processing, datasets preparation and annotation, image augmentation, deep-learning model training and fine-tuning, object detection, model performance evaluation. The work strengthened my interest in AI-based image pattern recognition for healthcare applications. |
Martin Dvořák: LEAN 4 Course in English
| Every day from Thursday, August 13-28, 2026, at 17:00 contiunues in autumn/winter term on Fridays at 16:00 |
|
| FAV/KMA computer lab UC234 (first floor, orange part of the building). | |
| Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code and hence it is very useful for AI. The course will cover both functional programming and interactive theorem proving, with emphasis on the latter. Everybody is welcome to attend. No previous programming experience is required. The only prerequisite is being able to type on a keyboard. |







