mira
Mira Shalah

Postdoctoral Research Fellow
Stanford University

Gates Computer Science Building
Room 375
353 Jane Stanford Way
Stanford, CA 94305

mira at cs.stanford.edu



News


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

Broadly speaking, I am interested in Computational and Discrete Geometry, Computer Graphics, Human Computer Interaction (HCI), Digital Fabrication, Scientific Computing, and Automated Theorem Proving. My current work lies at the intersection of programming languages and fabrication, as well as robotics and fabrication.

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. During my PhD, I also spent a few months as a Research and Software Engineering intern at Google Geo, where I was part of the 3D reconstruction team. 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

An Improved Lower Bound on the Growth Constant of Polyiamonds

Gill Barequet, Mira Shalah, and Yufei Zheng *
Journal of Combinatorial Optimization, 1-15, August 2018.

Proper n-cell Polycubes in n-k Dimensions

Gill Barequet and Mira Shalah *
European Journal of Combinatorics , 63, 146-163, June 2017.

λ > 4 : an improved lower bound on the growth constant of polyominoes

Gill Barequet, Günter Rote and Mira Shalah *
Communications of the ACM, 59 (7), 88-95, July 2016.

Conference Publications

Improved Upper Bounds on the Growth constants of Polyominoes and Polycubes

Gill Barequet and Mira Shalah *
Proceeding of the 14th Latin American Symposium on Theoretical Informatics. (LATIN), 532-545, 2020. (invited to special issue.)

Composite Shape Modeling via Latent Space Factorization

Anastasia Dubrovina, Fei Xia, Panos Achlioptas, Mira Shalah, Raphaël Groscot, and Leonidas J. Guibas
Proceedings of the IEEE International Conference on Computer Vision (ICCV), 8140-8149, 2019.

An Improved Lower Bound on the Growth Constant of Polyiamonds

Gill Barequet, Mira Shalah, and Yufei Zheng *
Proceedings of the 22nd International Computing and Combinatorics Conference (COCOON), 50-61, 2017. (invited to special issue.)

Automatic Proofs for Formulae Enumerating Proper Polycubes

Gill Barequet and Mira Shalah *
Proceedings of the 8th European Conference on Combinatorics, Graph Theory and Applications (EuroComb), 49, 145-151, 2015.

λ > 4

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

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


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."

Automatic Proofs for Formulae Enumerating Proper Polycubes

Gill Barequet and Mira Shalah *
Video Review at the 31st Symposium on Computational Geometry (SoCG), 19-22, June 2015.

Polyominoes on Twisted Cylinders

Gill Barequet and Mira Shalah *
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.