Timothy Gomez

Publications

Unique Assembly Verification in Two-Handed Self-Assembly
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
International Colloquium on Automata, Languages and Programming (ICALP 2022) (to appear)
[Arxiv preprint]

Building Squares with Optimal State Complexity in Restricted Active Self-Assembly
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Armando Tenorio, Tim Wylie
1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)
[link] Best Student Paper

Complexity of Verification in Self-Assembly with Prebuilt Assemblies
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022) [link]

Unit Tilt Row Relocation in a Square
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games (TJCDCG3 2020+1), 2021 [link]

Reliability and Security of Extreme Parallelism
Timothy Gomez, Ryan Luna, Sheikh Ariful Islam
IEEE Consumer Electronics Magazine [link]

The Complexity of Multiple Handed Self-assembly
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
International Conference on Unconventional Computation and Natural Computation [link]
[Presentation]

Fast reconfiguration of robot swarms with uniform control signals
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
Natural Computing [link]

Covert computation in staged self-assembly: Verification is PSPACE-complete
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
29th Annual European Symposium on Algorithms (ESA 2021) [link]

Relocating units in robot swarms with uniform control signals is PSPACE-complete
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
The Canadian Conference on Computational Geometry (CCCG 2020) [link]

Building Patterned Shapes in Robot Swarms with Uniform Control Signals
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
The Canadian Conference on Computational Geometry (CCCG 2020) [link]

Verification and Computation in Restricted Tile Automata
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
26th International Conference on DNA Computing and Molecular Programming (DNA 26) [link]
[Presentation]
Natural Computing [link]

Hierarchical Shape Construction and Complexity for Slidable Polyominos under Uniform External Forces
Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Mauricio Flores, Timothy Gomez, Austin Luchsinger, Rene Reyes, Robert Schweller, Tim Wylie
ACM-SIAM Symposium on Discrete Algorithms (SODA 2020) [link]
[Presentation]

Relocation with Uniform External Control in Limited Directions
Jose Balanza-Martinez, David Caballero, Angel Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
Japan Conference on Discrete and Computational Geometry, Graphs, and Games: (JCDCG^3 2019) [link]
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions Journal of Information Processing Jose Balanza-Martinez, David Caballero, Angel Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
[link]

Education

Skills

Other Languages: Python, Pygame, x86 assembly, ARM assembly, C++, C, Verilog HDL, Ruby, Solidity, LaTeX

Posters

Freezing Affinity Strengthening Tile Automata is coNP^NP-Complete David Caballero, Timothy Gomez, Advisors Robert Schweller, Timothy Wylie. EWEEK 2021, 1st Place poster

Complexity for Slidable Polyominoes under Uniform External Forces Jose Balanza-Martinez, David Caballero, Angel Cantu, Mauricio Flores, Timothy Gomez, Austin Luchsinger, Rene Reyes, Advisors Robert Schweller, Timothy Wylie. EWEEK 2020, 1st Place poster

Combinatorial Tsuro is PSPACE-Complete David Caballero, Timothy Gomez, Francisco Gonzalez, Isabel Sanchez, Advisors Robert Schweller, Timothy Wylie. EWEEK 2020, 3rd Place poster

• Comparator Circuit Complexity David Caballero, Timothy Gomez, HackR 2019, 3rd Place Submission
• Complexity of Motion Planning in Single Step David Caballero, Angel Cantu, Timothy Gomez, Austin Luchsinger, Advisors Robert Schweller, Timothy Wylie. HESTEC 2019, 3rd Place poster

Complexity of Motion Planning in Single Step Jose Balanza-Martinez, David Caballero, Angel Cantu, Mauricio Flores, Timothy Gomez, Austin Luchsinger, Rene Reyes, Advisors Robert Schweller, Timothy Wylie. HESTEC 2018, 1st Place poster

Awards

• Outstanding Student of the Year 2020, Computer Science, University of Texas – Rio Grande Valley, Edinburg, Texas.
• Engaged Scholar Award, University of Texas – Rio Grande Valley, Edinburg, Texas.
• REU Award, University of Texas – Rio Grande Valley, Edinburg, Texas.

Interests

I am intrested in Computational Complexity, Natural Computing, Unconventional Models of Computation, and Game Theory.