mira


News



Mira Shalah

Postdoctoral Researcher

tree



S256 Clark Center
318 Campus Dr, Stanford, CA 94305
mail

mira at cs.stanford.edu


cv


CV

I am a postdoctoral researcher at the Geometric Computation Lab at Stanford University, working with Prof. Leonidas Guibas and Prof. Maneesh Agrawala.

I am interested in Computational and Discrete Geometry, Computer Graphics and Visualisation, Human Computer Interaction, Automated Theorem Proving, Scientific Computing, and Markov chains for problems from discrete geometry. In my research, I focus on understanding properties of geometric objects using tools from Combinatorics, Computational Geometry, and Deep Learning.

I obtained a PhD (direct track) in Computer Science in 2017 at the Technion, where I was fortunate to have Prof. Gill Barequet as my advisor. Prior to that, I obtained a BSc degree at the "Etgar" program at the University of Haifa.


Publications (author order alphabetical)


puzzle twigs polycubes cylinder polyiamonds 3Dtwigs IEgraph water-percolation







Journal Publications

Gill Barequet, Mira Shalah, and Yufei Zheng
An Improved Lower Bound on the Growth Constant of Polyiamonds
Journal of Combinatorial Optimization (to appear).

Gill Barequet and Mira Shalah
Proper n-cell Polycubes in n-k Dimensions
European Journal of Combinatorics , 63, 146-163, June 2017.

Gill Barequet, Günter Rote and Mira Shalah
λ > 4 : an improved lower bound on the growth constant of polyominoes
Communications of the ACM, 59 (7), 88-95, July 2016.

Conference Publications

Gill Barequet, Günter Rote and Mira Shalah
An Improved Upper Bound on the Growth constant of Polyiamonds
Under submission.

Gill Barequet and Mira Shalah
Improved Upper Bounds on the Growth constants of Polyominoes and Polycubes
Under submission.

Gill Barequet, Mira Shalah, and Yufei Zheng
An Improved Lower Bound on the Growth Constant of Polyiamonds
Proceedings of the 22nd International Computing and Combinatorics Conference (COCOON), 50-61, 2017. (invited to special issue.)

Gill Barequet and Mira Shalah
Automatic Proofs for Formulae Enumerating Proper Polycubes
Proceedings of the 8th European Conference on Combinatorics, Graph Theory and Applications (EuroComb), 49, 145-151, 2015.

Gill Barequet, Günter Rote and Mira Shalah
λ > 4
Proceedings of the 23rd European Symposium on Algorithms (ESA), 83-94, 2015.

Multimedia Presentations

"Multimedia presentations showcase the use of visualization in computational geometry for exposition and education, for visual exploration of geometry in research, and as an interface and a debugging tool in software development."

Gill Barequet and Mira Shalah
Automatic Proofs for Formulae Enumerating Proper Polycubes
Video Review at the 31st Symposium on Computational Geometry (SoCG), 19-22, June 2015.

Gill Barequet and Mira Shalah
Polyominoes on Twisted Cylinders
Video Review at the 29th Symposium on Computational Geometry (SoCG), 339-340, June 2013.

Thesis

Formulae and Growth Rates of Animals on Cubical and Triangular Lattices
Mira Shalah, Ph.D. Dissertation, Department of Computer Science, Technion, September 2017.

Personal

I am married to Amir Abboud. Amir is a Theoretical Computer Scientist working as a Research Staff Member at the theory group at IBM Research Almaden.