The Brian spiking neural network simulator. To get an idea of what writing a simulation in Brian looks like, the following code defines a randomly connected network of integrate and fire neurons with exponential inhibitory and excitatory currents, runs the simulation and makes the raster plot on the right.

The Grubb Lab is a research group led by Matthew Grubb at the Centre for Developmental Neurobiology.

In Paris with Yann Régis-Gianas. I am working on the proof language of Coq. I was a student at the École normale supérieure de Paris. My interests domains are programming languages theory and proof checkers. If two people agree on everything, one of them is unnecessary. If I had asked people what they wanted, they would have said faster horses.

To make predictions or models of in vivo data, one need large-scale simulations of spiking neuronal network mimicking the emerging properties at the network level. Neurons are modifying the synapses between them as a function of their joint activities. Understanding the molecular processes and the computational consequences of such plasticity is crucial to unravel how the brain can adapt. Spike sorting in real time.

Computational Neuroscience of Sensory Systems. Group belongs to the Vision Institute. We are also affiliated to Ecole des Neurosciences de Paris. We have been supported by ANR. For neural network simulation and electrophysiology.

The Neural Reckoning Group is led by Dan Goodman. In the domain of sensory neuroscience. High-dimensional cluster analysis with the masked EM algorithm.