Mexico City, CDMX, Mexico
Areas of Specialization
| Science, Logic, and Mathematics |
| Proof Theory |
| Computer Proof |
| Mathematical Logic |
Areas of Interest
| Proof Theory |
| Mathematical Logic |
| Logic and Philosophy of Logic, Miscellaneous |