Pasquale Davide SchiavoneTeaching & PhD Courses Design technologies for integrated systems CS-472 Hardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation and logic synthesis.
Shashwat ShrivastavaI am a Ph.D. student at EPFL, advised by Dr. Mirjana Stojilović. I am broadly interested in FPGA architecture and Computer-Aided Design. My research is focused on reducing the compile time for FPGAs by incorporating architectural enhancements and rethinking CAD algorithms.
Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Martin SchrimpfExpertise
NeuroAI, computational neuroscience, computer vision, natural language processing, human alignment, startups [CV]
Mission
Modeling the brain: Martin's research focuses on a computational understanding of the neural mechanisms underlying natural intelligence in vision and language. To achieve this goal, he bridges Deep Learning, Neuroscience, and Cognitive Science, building artificial neural network models that match the brain’s neural representations in their internal processing and are aligned to
Mykhailo BatiukExpertise
Single cell and spatial genomics (wet/dry lab), glia, psychiatry, neuroscience
I obtained my PhD (2012-2018) in KU Leuven/VIB, Belgium where I investigated astrocyte heterogeneity using single cell transcriptomics. During this period I developed tools to acutely and specifically isolate astrocytes from adult brain and identified five astrocyte subtypes in the cortex and hippocampus of mouse brain expanding previous understanding of astrocyte variability.Following my PhD, I did my first post-doc in
Anne-Florence Raphaëlle BitbolI was trained in physics, and always had a strong interest in biology. I am broadly interested in understanding biological phenomena in a quantitative way, through physical concepts and mathematical and computational tools. I investigate the relative impacts of optimization and historical contingency in biological evolution, both at the scale of protein sequences and at the scale of microbial populations.Here is my research group website.Curriculum vitae Here is my complete CV. Professional experience:Since
Emma Elizabeth TolleyI studied the universe at the smallest scales at the Large Hadron Collider, now we're getting ready to study it at the largest scales with the Square Kilometer Array. My research focuses on developing high-performance computing and new data science techniques to image and analyse the radio sky.
Teaching & PhD PhD Students Markus Johan Bredberg, Ashutosh Kumar Mishra Past EPFL PhD Students as codirector Shreyam Parth Krishna Courses General physics : mechanics (english flipped classroom) PHYS-101
Andrew James SontaExpertise
Human-building interaction, building energy, occupant behavior, sustainable design and planning, walkability, network analysis, machine learning, urban informatics, social systems.
Andrew Sonta is a tenure track assistant professor of sustainable civil engineering at EPFL. He directs the ETHOS Lab: Engineering and Technology for Human Oriented Sustainability. ETHOS is an interdisciplinary research group focused on using data-driven and computational tools to create interventions in the built envir
Mathias Josef PayerMathias Payer is a security researcher and professor at the EPFL school of computer and communication sciences (IC), leading the HexHive group. His research focuses on protecting applications in the presence of vulnerabilities, with a focus on memory corruption and type violations. He is interested in software security, system security, binary exploitation, effective mitigations, fault isolation/privilege separation, strong sanitization, and software testing (fuzzing) using a combination of binary analysis and compiler-based techniques. More details are available in his CV.
Show more