mira


News



Mira Shalah

Postdoctoral Research Fellow

tree



Gates Computer Science Building, Room 396
353 Serra Mall, Stanford, CA 94305
mail

mira at cs.stanford.edu


I am a postdoctoral research fellow in Computer Science at Stanford University, working with Prof. Maneesh Agrawala in the Computer Graphics and Human-Computer Interaction laboratory.

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 geometric objects using tools from Combinatorics, Computational Geometry, Geometry Processing, 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.

My CV can be found here.


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, 1-15, August 2018.

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.