Kate Smith

Chicago, Illinois, USA · kns{at}uchicago{dot}edu

I hold a PhD in Electrical Engineering, and I'm currently a postdoc with the CQE and EPiQC at the University of Chicago.


Education

Southern Methodist University

Doctor of Philosophy in Electrical Engineering
December 2019
Master of Science in Electrical Engineering
May 2015
Bachelor of Science in Electrical Engineering
May 2014
Bachelor of Science in Mathematics
May 2014

Professional Experience

CQE/IBM Postdoctoral Scholar: University of Chicago

Conducts research within the Enabling Practical-scale Quantum Computation (EPiQC) group of the Chicago Quantum Exchange (CQE). Investigates techniques for technology-aware programming of quantum machines along with applications for high-dimension quantum information processing.

January 2020 - Present
Research Assistant: SMU Quantum Informatics Research Group

Developed quantum logic synthesis and compilation algorithms with an emphasis on technology-dependent mapping and optimization. Researched multiple-valued logic and photonic quantum information processing techniques.

June 2017 - December 2019
Research Assistant: Darwin Deason Institute for Cyber Security

Studied various topics relating to cybersecurity. Led projects with machine learning and neural networks as well as algorithm development in MATLAB, Python, and C++.

December 2014 - December 2019
Visiting Scholar: EPFL Integrated Systems Laboratory

Hosted by the Integrated Systems Laboratory at École Polytechnique Fédérale de Lausanne in Lausanne, Switzerland with the support of a Swiss National Science Foundation scientific exchange grant. Researched methods for technology-dependent optimization in quantum compilation.

January 2019 - March 2019
Quality Engineer Intern: Texas Instruments

Collaborated with product, application, and test engineers to process customer specifications and returns. Became familiar with a wide range of audio and imaging technologies and products to support device customers.

May 2014 - August 2014
Design Verification Engineer Intern: Texas Instruments

Contributed to projects that ensured quality silicon fabrication and reduced wafer scrap. Developed golden MEBES files for a technology platform with an analog PDK development team.

May 2012 - August 2013

Teaching Experience

OSP Summer Program Teaching Assistant

Organized lecture material and assignments for the University of Chicago Office of Special Programs (OSP) course Demystifying Quantum Computing. TA responsibilities included tutoring students and providing administrative and technical support during lecture.

June 2020 - August 2020
Digital Design Adjunct Lecturer

Taught courses CS 3381: Digital Logic Design and ECE 2381: Digital Computer Logic to undergraduate students. These courses detail the history of logic and its applications to digital switching circuitry with an emphasis on hardware description languages. Responsiblilities of an adjunct lecturer included organizing lecture material, labs, assignments, and exams.

January 2017 - December 2019
Solid State Devices Teaching Assistant

Directed lab and graded assignments for undergraduate and graduate students enrolled in ECE 3311: Solid State Devices. Responsibilities of a TA included teaching diffusion, lithography, chemical etch, and metallization techniques in class 10,000 and class 1,000 clean rooms.

August 2013 - December 2014
Altshuler Learning Enhancement Center Tutor

Tutored undergraduate students in calculus, physics, programming, and introductory engineering courses. Coached students in time management as well as in methods to improve study and test skills.

August 2011 - May 2014

Publications & Presentations

  • K. N. Smith, D. L. MacFarlane, and M. A. Thornton, A Quantum Photonic TRNG based on Quaternary Logic, IEEE International Symposium on Multiple-Valued Logic (ISMVL), November 9-11, 2020. (to appear)
  • K. N. Smith, D. M. Miller, and M. A. Thornton, Fast Minimization of Polynomial Decomposition using Fixed-Polarity Pascal Transforms, IEEE International Symposium on Multiple-Valued Logic (ISMVL), November 9-11, 2020. (to appear)
  • M. A. Thornton, M. A. Taylor, and K. N. Smith. Detecting Malicious Software using Sensors, U.S. Patent Application, Pub. No. US 2020/0279043 A1, published September 3, 2020.
  • K. N. Smith and M. A. Thornton, Higher Dimension Quantum Entanglement Generators, ACM Journal on Emerging Technologies in Computing (JETC), vol. 16, iss. 1, 2019.
  • K. N. Smith and M. A. Thornton, Entangled State Preparation for Non-Binary Quantum Computing, IEEE International Conference on Rebooting Computing (ICRC), November 6-8, 2019.
  • K. N. Smith and M. A. Thornton, Fixed Polarity Pascal Transforms with Symbolic Computer Algebra Applications , IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing (PacRim), August 21 - 23, 2019.
  • K. N. Smith and M. A. Thornton, Quantum Logic Synthesis with Formal Verification, IEEE Midwest Symposium on Circuits and Systems (MWSCAS), August 4-7, 2019.
  • K. N. Smith and M. A. Thornton, A Quantum Computational Compiler and Design Tool for Technology-specific Targets, ACM/IEEE International Symposium on Computer Architecture (ISCA), June 22-26, 2019.
  • K. N. Smith, M. Soeken, B. Schmitt, G. De Micheli, M. A. Thornton, Using ZDDs in the Mapping of Quantum Circuits, Quantum Physics and Logic Conference (QPL), June 10-14, 2019.
  • M. A. Thornton and K. N. Smith, Fixed Polarity Pascal Transforms with Computer Algebra Applications, 2019 Reed-Muller Workshop (RM 2019), May 24, 2019.
  • K. N. Smith and M. A. Thornton, Entanglement in Higher-Radix Quantum Systems, IEEE International Symposium on Multiple-Valued Logic (ISMVL), May 21-23, 2019.
  • K. N. Smith and M. A. Thornton, An Open-source General Compiler for Quantum Computers, Free and Open Source Developers European Meeting (FOSDEM), February 3, 2019. (reviewed abstract)
  • K. N. Smith, T. P. LaFave, Jr., D. L. MacFarlane, and M. A. Thornton, Higher-radix Chrestenson Gates for Optical Quantum Computation, Journal of Applied Logics, vol. 5, iss. 9, pp. 1781-1798, December 2018.
  • K. N. Smith, T. P. LaFave, Jr., D. L. MacFarlane, and M. A. Thornton, A Radix-4 Chrestenson Gate for Optical Quantum Computation, IEEE International Symposium on Multiple-Valued Logic (ISMVL), May 16-18, 2018.
  • K. N. Smith and M. A. Thornton, Automated Mapping Methods for the IBM Transmon Devices, International Workshop on Post-Binary ULSI Systems (ULSI-WS), May 15, 2018.
  • K. N. Smith, M. A. Thornton, D. L. MacFarlane, T. P. LaFave, Jr., W. V. Oxford, Single Qubit Quantum Ring Structures and Applications, Southwest Quantum Information and Technology 20th Annual SQuInT Workshop (SQuInT), February 22-24, 2018. (reviewed abstract and poster presentation)
  • M. A. Taylor, K. N. Smith, and M. A. Thornton, Sensor-Based Ransomware Detection, Future Technologies Conference (FTC), November 29-30, 2017.
  • K. N. Smith and M. A. Thornton, MUSTANG-Q: A Technology Dependent Quantum Logic Synthesis and Compilation Tool, Design Automation for Quantum Computers Workshop, IEEE International Conference on Computer Aided Design (ICCAD-QCEDA), November 13-16, 2017. (reviewed abstract and poster presentation)
  • K. N. Smith, M. A. Taylor, A. A. Carroll, T. W. Manikas, and M. A. Thornton, Automated Markov-chain Based Analysis for Large State Spaces, IEEE International Systems Conference (SYSCON), April 24-27, 2017.
  • K. N. Smith, and M. A. Thornton, A Multiple-Valued Logic Synthesis Tool for Optical Computing Elements, IEEE Dallas Circuits and Systems Conference (DCAS), October 12-13, 2015.

  • Service

  • External Review Committee Member for 2021 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
  • Technical Program Committee Member for 2020 IEEE/ACM International Symposium on Microarchitecture (MICRO)
  • Guest Editor for Multiple-Valued Logic and Applications special issue of the Journal of Applied Logics (JALs-ifCoLog)
  • Volunteer tutor with the University of Chicago Office of Special Programs (OSP)
  • Reviewer for IEEE Transactions on Computers
  • Program Committee Member for 2020 ACM International Conference on Supercomputing (ICS)
  • Program Co-Chair for 2020 IEEE Symposium on Multiple Valued Logic (ISMVL)
  • President of Lyle Graduate Student Council: 2017-2019