Event Listing

Celebrating 16th year of PRECISE... Join us live at Penn Engineering, hosted and organized by PRECISE Industry Advisory Board.  Event site/Registration will open September 20 at 16:00… Read more

Semantic segmentation of medical images is pivotal in disease diagnosis and treatment planning. While deep learning has excelled in automating this task, a major hurdle is the need for numerous annotated masks, which are resource-intensive to produce due to the required… Read more

The proliferation of drones has led to increased security concerns, prompting governments worldwide to develop anti-drone technologies. Recent conflicts, including the Russia-Ukraine and Israel-Hamas wars, have showcased both the deployment of these… Read more

Optical coherence tomography (OCT) is a technology invented in 1991 to image small critical tissue structures throughout the body with micrometer resolution. It is widely used in the management of eye and coronary heart diseases. In 2023, OCT received… Read more

This presentation will explore the critical process of curating medical imaging data for AI algorithm development in ophthalmology, highlighting the challenges and current limitations in data curation. It will discuss benchmark datasets, reference standards for FDA validation… Read more

Safety, robustness, and interpretability are some of the major challenges in developing systems for human-robot interactions. Learning-from-demonstrations (LfD) is a popular paradigm to obtain effective robot control policies for complex… Read more

In this talk, I will present Imprecise Probabilities (IPs), from their historic philosophical motivations to their applications to frequentist and Bayesian statistics. In turn, I will explore how the statistical approaches to IPs allowed to start the field of Imprecise… Read more

Formal methods can provide strong correctness guarantees for today's computing systems, but their usage is often restricted to formal methods experts. Formal verification is then bottlenecked on these experts, limiting its effectiveness. This problem is acute in computer… Read more

Medical devices, healthcare delivery, and other cyber-physical systems depend on sensors to make safety-critical, automated decisions. My research lab investigates the problem of how to protect cyber-physical systems from adversaries who can maliciously control sensor output… Read more

Remarkable advances in imaging, computation, and technology are rapidly moving us into an era where biomedical knowledge discovery is increasingly limited only by creativity… Read more