Upcoming Talks and Events
Yoav Ram: Neural simulation based inference for experimental microbial evolution
| Wednesday, November 4, 2026, 13:00 | |
| FAV/NTIS, meeting room UC143 (ground floor, orange part of the building, close to the dean's office). | |
| Many biological models are easy to simulate but have intractable likelihoods. Simulation-based inference trains neural networks on simulations to estimate parameter posteriors directly. I will introduce the approach and show how we used it to infer mutation rates and selection coefficients in evolving microbes and viruses. I will also present a robust method for combining inference across highly variable experimental replicates. | |
| Yoav Ram is an Assistant Professor at the School of Zoology, Tel Aviv University, where he leads the Computational Evolution and Ecology Lab. He holds a PhD in Theoretical Biology and previously conducted postdoctoral research at Stanford University. His interdisciplinary research combines evolutionary biology, mathematics, and machine learning to study evolutionary processes, ranging from microbial adaptation and evolutionary genetics to animal behaviour and cultural evolution. |
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. |







