Information.

I am a Ph.D. Student at the Computer Science Department, Technion - Israel Institute of Technology

My advisor is Prof. Michael Kaminski

I am the TA in Charge in the course Automata and Formal Languages (236353)

My main research interest is Formal Language Theory, but I also enjoy Logic, Distributed Algorithms, Artificial Intelligence, Machine-Learning, Formal Verification, Computational Linguistics and more...

Contact information:

Office:	Taub Building, Room 309
Phone:	+972-4-829-4260
Fax:	+972-4-829-3900
e-mail:	tamaraics.technion.ac.il

Publications.

Conference Papers:

T. Aizikowitz and M. Kaminski. Linear conjunctive grammars and one-turn synchronized alternating pushdown automata. to appear in, Formal Grammars 2009: Bordeaux, France, volume 5591 of Lecture Notes in Artificial Intelligence. (PDF)

T. Aizikowitz and M. Kaminski. Conjunctive grammars and alternating pushdown automata (extended abstract). In W. Hodges and R. de Queiroz, editors, Workshop on Logic, Language, Information and Computation: Heriot-Watt University 2008, volume 5110 of Lecture Notes in Artificial Intelligence, pages 30-41. Springer Verlag, 2008. (PDF)

T. Aizikowitz and M. Kaminski. Conjunctive grammars and alternating pushdown automata. Submitted for review. (PDF)

USPTO Application #: 20070046694. System and method for image customization. Inventors: Tamar Aizikowitz, Israel Roth, Reuven Sherwin.

Talks.

Linear Conjunctive Grammars and One-turn Synchronized Alternating Pushdown Automata. Presented at the Formal Grammars Conference: Bordeaux, July 2009 (PDF, PowerPoint)

Conjunctive Grammars and Alternating Pushdown Automata. Presented at the Workshop on Logic, Language, Information and Computation: Heriot-Watt University, July 2008 (PDF, PowerPoint)

Conjunctive Grammars and Synchronized Alternating Pushdown Automata. Presented at Microsoft Research Redmond and New York University, September 2009 (PDF, PowerPoint, video recording)

Synchronized Alternating Pushdown Automata. Presented at the Computer Science Research Day: Technion 2009 (PDF)

XMPie.

From July 2002 until February 2008 I worked at XMPie, an Israeli based start-up company   
In November 2007, XMPie was aquired by Xerox
In 2005, I developed a product called uImage in collaboration with Israel Roth. uImage allows automatic generation of personalized images using Adobe Photoshop (or Adobe Illustrator) and XMPie software.

uImage won two industry awards:       2006 GATF InterTech Technology Award

On Demand 2006 – Best of Show

There is a US Patent pending for the technology underlying uImage

Here are some examples of what you can create with uImage...

Links.

Sivan Bercovici    Yaniv Carmeli    Keren Censor    Sonya Liberman

LaTeX for Logicians - Great website for proof trees, logical symbols etc... (click on the "LaTeX" link at the bottom)

VauCanSon-G - LaTeX package for drawing finite state automata graphs

iStockphoto - High quality cheap stock photos, videos and illustrations

Automata and Formal Languages