Dr. Gabriel Robins
Professor of Computer Science
Department of Computer Science
School of Engineering and Applied Science
University of Virginia
85 Engineer's Way, P.O. Box 400740
Charlottesville, VA 22904-4740, USA

robins@cs.virginia.edu
www.cs.virginia.edu/robins
Phone: (434) 982-2207
Office: 406 Rice Hall
Gabe's vitae / resume (NIH Biosketch)

Vitae:

Birth place: New York City, NY
Citizenship: USA

Education

Honors and Awards

  1. Society for Industrial and Applied Mathematics (SIAM) Outstanding Paper Prize, 2007

  2. Packard Foundation Fellowship, 1995-2001 ($550,000)

  3. National Science Foundation Young Investigator Award, 1994-1999 ($312,500)

  4. Best Presentation Award, IEEE International Conference on Localization and Global Navigation Satellite Systems, Torino, Italy, 2013

  5. Member of the Army Science Board, U.S. Army, 1998-2001

  6. Member of the Defense Science Study Group, U.S. Department of Defense, 1994-1995

  7. Member of the Navy Future Study (of the National Academy of Sciences), 1996-1997

  8. Walter N. Munster Endowed Chair, 1997-2002

  9. Two-year early promotion to Associate Professor (with tenure), 1996

  10. Promotion to Full Professor (with tenure), 2002

  11. Faculty Mentor Award, UVa School of Engineering, 1997

  12. All-University Outstanding Teaching Award, University of Virginia, 1994-1995

  13. University Teaching Fellowship, University of Virginia, 1995-1996

  14. Faculty Appreciation Award, Virginia Engineering Foundation, 1998

  15. Award for "Tireless Dedication to Improving the Department in All Aspects", Department of Computer Science, 1998

  16. Web Team Award - "In Appreciation for Founding and Leading the Department's Excellent Web Team for 6 Years", 2001

  17. Member of the Faculty Senate, University of Virginia, 1999-2002

  18. Member of the School of Engineering Faculty Council, University of Virginia, 1999-2002

  19. Associate Editor of IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2000-2005

  20. Member of the Editorial Board of Research Letters in Electronics, 2007-present

  21. Expert Witness for major software and intellectual property litigations, 1996-present

  22. Invited paper in IEEE International Conference on Electronics, Circuits and Systems, 2004

  23. Nomination for Virginia state-wide (SCHEV) Outstanding Faculty Award, 1995

  24. Nomination for NSF Presidential Faculty Fellows Award, 1995-1996

  25. National Science Foundation Research Initiation Award, 1993

  26. Nomination for ACM Best Dissertation Award, 1992

  27. IBM Graduate Fellowship, 1991-1992

  28. Distinguished Paper Award, IEEE International Conference on Computer-Aided Design, 1990

  29. Nomination for Best Paper Award, Asia and South Pacific Design Automation Conference, Hong Kong, January 1999.

  30. Distinguished Teaching Award, UCLA, 1989

  31. Chancellor's Distinguished Honor Award

  32. University of California Regents Scholarship

  33. Dean's list (10 times)

  34. Top ranked by students at "Rate My Professor" (RateMyProfessor.com)

Research Interests

Algorithms, optimization, RFID, genomics, bioinformatics, big data, computational geometry, computer-aided design (CAD), VLSI, national security, and intellectual property.

Teaching Interests

Theory of computation, algorithms, problem solving, discrete math, VLSI CAD, data structures, and computational geometry.

Experience

Membership in Professional Societies

  1. Institute of Electrical and Electronics Engineering (IEEE)

  2. Association for Computing Machinery (ACM)

  3. ACM Special Interest Group on Design Automation (SIGDA)

  4. ACM Special Interest Group on Automata and Comp. Theory (SIGACT)

Note: my publication policy is to always order co-author names alphabetically.

Books and Book Chapters

  1. Robins, G., The ISI Grapher: a Portable Tool for Displaying Graphs Pictorially, Multicomputer Vision, Levialdi, S., Chapter 12, Academic Press, London, 1988, pp. 185-202.

  2. Kahng, A. B. and Robins, G., On Optimal Interconnections for VLSI, Kluwer Academic Publishers, Boston, MA, 1995, 304 pages.

  3. Kahng, A. B., Robins, G., and Walkup, E. A., Optimal Algorithms for Substrate Testing in Multi-Chip Modules, in High Performance Design Automation for Multi-Chip Modules and Packages, J.-D. Cho and P. D. Franzon, Editors, World Scientific Publishing Co., 1996, pp. 181-198.

  4. Robins, G. and Zelikovsky, A. Minimum Steiner Tree Construction, in "The Handbook of Algorithms for VLSI Physical Design Automation", C. J. Alpert, D. P. Mehta, and S. S. Sapatnekar (editors), CRC Press, 2009, Chapter 24, pp. 487-508.

  5. Hu, J., Robins, G, and Sze C. N., Timing-Driven Interconnect Synthesis, in "The Handbook of Algorithms for VLSI Physical Design Automation", C. J. Alpert, D. P. Mehta, and S. S. Sapatnekar (editors), CRC Press, 2009, Chapter 25, pp. 509-534.

  6. Bolotnyy, L, and Robins, G., Multi-tag RFID Systems, in "Security in RFID and Sensor Networks", Auerbach Publications, CRC Press, Taylor & Francis Group, 2009, pp. 3-28.

  7. Bolotnyy, L, and Robins, G., Physical Privacy and Security in RFID Systems, in "Security in RFID and Sensor Networks", Auerbach Publications, CRC Press, Taylor & Francis Group, 2009, pp. 77-97.

  8. Bolotnyy, L, and Robins, G., Generalized 'Yoking-Proofs' and Inter-Tag Communication, in "Development and Implementation of RFID Technology", I-Tech Education and Publishing, Vienna, Austria, 2009, Chapter 24, pp. 447-462.

  9. Chawla, K. and and Robins, G., Mitigating Covert Channel Attacks in RFID-Enabled Supply Chains, in Advanced Security and Privacy for RFID Technologies, IGI Global, Hershey, PA, USA, 2013, pp. 176-190.

Refereed Journal Papers

  1. Foster, L., and Robins, G., Solution to a Number Theory Problem, American Mathematical Monthly, Vol. 89, No. 7, Aug-Sep, 1982, pp. 499-500.

  2. Robins, G., On Style, Expressibility, and Efficiency in Functional Programming Languages, UCLA Computer Science Department Quarterly, Fall 1987, pp. 105-121.

  3. Kahng, A. B., and Robins, G., Optimal Algorithms for Extracting Spatial Regularity in Images, Pattern Recognition Letters, 12, December 1991, pp. 757-764.

  4. Cong, J., Kahng A. B., Robins, G., Sarrafzadeh, M., and Wong, C. K., Provably-Good Performance-Driven Global Routing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 11, No. 6, June 1992, pp. 739-752.

  5. Kahng, A. B., and Robins, G., A New Class of Iterative Steiner Tree Heuristics With Good Performance, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 11, No. 7, July 1992, pp. 893-902.

  6. Hu, T. C., Kahng, A. B., and Robins, G., Solution of the Discrete Plateau Problem, Proceedings of the National Academy of Sciences, Vol. 89, October 1992, pp. 9235-9236.

  7. Kahng, A. B., and Robins, G., On Performance Bounds for a Class of Rectilinear Steiner Tree Heuristics in Arbitrary Dimension, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 11, No. 11, November 1992, pp. 1462-1465.

  8. Cong, J., Kahng A. B., and Robins, G., Matching-Based Methods for High-Performance Clock Routing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 12, No. 8, August 1993, pp. 1157-1169.

  9. Hu, T. C., Kahng, A. B., and Robins, G., Optimal Robust Path Planning in General Environments, IEEE Transactions on Robotics and Automation, Vol. 9, No. 6, December 1993, pp. 775-784.

  10. Alpert, C., Cong, J., Kahng, A. B., Robins, G., and M. Sarrafzadeh, On the Minimum Density Interconnection Tree Problem, VLSI Design: an International Journal of Custom-Chip Design, Simulation, and Testing, Vol. 2, No. 2, February 1994, pp. 157-169.

  11. Boese, K., Kahng, A. B., McCoy, B. A., and Robins, G., Near-Optimal Critical Sink Routing Tree Constructions, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 12, December 1995, pp. 1417-1436. Final journal submission version

  12. Griffith, J., Robins, G., Salowe, J. S., and Zhang, T., Closing the Gap: Near-Optimal Steiner Trees in Polynomial Time, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 13, No. 11, November 1994, pp. 1351-1365. Journal scanned/OCRed version and Steiner code (UNIX tar format)

  13. Robins, G., and Salowe, J. S., Low-Degree Minimum Spanning Trees, Discrete and Computational Geometry, Vol. 14, September 1995, pp. 151-165.

  14. McCoy, B. A., and Robins, G., Non-Tree Routing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 6, June 1995, pp. 780-784. Journal scanned/OCRed version

  15. Kahng, A. B., Robins, G., and Walkup, E. A., Optimal Algorithms for Substrate Testing in Multi-Chip Modules, International Journal on High-Speed Electronics and Systems, Vol. 6, No. 4, December 1995, pp 595-612.

  16. Alexander, M. J., Cohoon, J. P., Ganley, J. L., Robins, G., Placement and Routing for Performance-Oriented FPGA Layout, VLSI Design: an International Journal of Custom-Chip Design, Simulation, and Testing, Vol. 7, No. 1, 1998.

  17. Alexander, M. J., and Robins, G., New Performance-Driven FPGA Routing Algorithms, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, No. 12, December 1996, pp. 1505-1517. FPGA benchmarks and routings

  18. Kahng, A. B., Robins, G., and Walkup, E. A., How to Test a Tree, Networks, 32, 1998, pp. 189-197.

  19. Pearson, W. R., Robins, G., Wrege, D. E., and Zhang, T., On the Primer Selection Problem for Polymerase Chain Reaction Experiments, Discrete and Applied Mathematics, Vol. 71, 1996, pp. 231-246.

  20. Pearson, W. R., Robins, G., and Zhang, T., Generalized Neighbor-Joining: More Reliable Phylogenetic Tree Reconstruction, Journal of Molecular Biology and Evolution, Vol. 16, No. 6, pp. 806-816, 1999.

  21. Kahng, A. B., Robins, G., Singh, A., and Zelikovsky, A., Filling Algorithms and Analyses for Layout Density Control, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 18, No. 4, April 1999, pp. 445-462.

  22. Robins, G., Robinson, B. L., and Sethi, B. S., On Detecting Spatial Regularity in Noisy Images, Information Processing Letters, No. 69, 1999, pp. 189-195. Final journal submission version

  23. Helvig, C. S., Robins, G., and Zelikovsky, A., New Approximation Algorithms for Routing with Multi-Port Terminals, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 19, No. 10, October 2000, pp. 1118-1128.

  24. Hu, T. C., Kahng, A. B., and Robins, G., Optimal Minimum-Surface Computations Using Network Flow, to appear in Mathematical Programming.

  25. Helvig, C. S., Robins, G., and Zelikovsky, A., An Improved Approximation Scheme for the Group Steiner Problem, Networks, Vol. 37, No. 1, January 2001, pp. 8-20.

  26. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Area Fill Synthesis for Uniform Layout Density, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 21, No. 10, October 2002, pp. 1132-1147.

  27. Helvig, C. S., Robins, G., and Zelikovsky, A., The Moving-Target Traveling Salesman Problem, Journal of Algorithms, Vol. 49, No. 1, October 2003, pp. 153-174.

  28. Haspel, D., Robins, G., and Street, B., A New Generalized Authority-Based Framework for Web Page Discovery, Undergraduate Research Journal.

  29. Robins, G. and Zelikovsky, A., Tighter Bounds for Graph Steiner Tree Approximation, SIAM Journal on Discrete Mathematics, Vol. 19, No. 1, 2005, pp. 122-134. This paper won the SIAM Outstanding Paper Prize in 2007

  30. Chen, Y., Kahng, A. B., Robins, G., Zelikovsky, A., and Zheng, Y., Compressible Area Fill Synthesis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 24, No. 8, pp. 1169-1187, 2005.

  31. ..., Dutta, A., Kamani, N., Taylor, C. M., Kim, H. K., Robins, G., et al., The Encode (Encyclopedia of DNA Elements) Project, Science, Vol. 306, No. 5696, October 2004, pp. 636-640.

  32. Chen, Y., Kahng, A. B., Robins, G., Zelikovsky, A., and Zheng, Y., Closing the Smoothness and Uniformity Gap in Area Fill Synthesis, to appear in ACM Transactions on Design Automation of Electronic Systems.

  33. Bolotnyy, L. and Robins, G., Multi-Tag RFID Systems, International Journal of Internet Protocol Technology, special issue on RFID: Technologies, Applications, and Trends, Vol. 2, No. 3/4, December, 2007, pp. 218-231. Invited paper

  34. Chawla, K., and Robins, G., An RFID-Based Object Localization Framework, International Journal of Radio Frequency Identification Technology and Applications, Special Issue on RFID-Enhanced Technology Intelligence and Management, Vol. 3, No. 1/2, 2011, pp. 2-30. Invited paper

  35. Layer, R., Skadron, K., Robins, G., Hall, I., and Quinlan, A., Binary Interval Search (BITS): A Scalable Algorithm for Counting Interval Intersections, Bioinformatics, Vol. 29, No. 1, 2013, pp. 1-7.

  36. Huang, J., Lach, J. and Robins, G., A Circuit Design Methodology for Efficiency-Quality Tradeoffs Using Imprecise Hardware, submitted to IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

  37. Layer, R., McDaniel, M, Robins, G., and Skadron, K., Efficient Mapping to Accelerator Hardware: A Case Study in Genomic Analysis with Parallel Sliding Windows on GPUs and Cell, submitted to International Journal of High Performance Computing Applications.

  38. Chawla, K., McFarland, C., Robins, G., and Thomason, W., An Accurate Real-Time RFID-Based Location System, in submission to IEEE Transactions on Emerging Topics in Computing.

  39. Brunelle, N., Robins, G., and shelat, a., Compression-Aware Algorithms for Big Data, in submission.

  40. Singh, R., Lanchantin, J., Robins, G., and Qi, Y., DeepChrome: Deep-Learning for Predicting Gene Expression from Histone Modifications, Bioinformatics, Vol 32, Issue 17, pp. i639-i648.

  41. Singh, R., Lanchantin, J., Robins, G., and Qi, Y., Transfer String Kernel for Cross-Context Sequence Specific DNA-Protein Binding Prediction, to appear in IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Refereed Conference Papers

  1. Kaczmarek, T., Bates, R., and Robins, G., Recent Developments in NIKL, American Association of Artificial Intelligence, Proc. Fifth National Conference on Artificial Intelligence, Philadelphia, Pennsylvania, August 1986, pp. 978-985.

  2. Robins, G., The ISI Grapher: a Portable Tool for Displaying Graphs Pictorially, Proc. Symboliikka '87, Helsinki, Finland, August 17-18, 1987, pp. 44-60.

  3. Robins, G., Applications of The ISI Grapher, Proc. Fourth Annual Artificial Intelligence and Advanced Computer Conference, Long Beach, California, May 1988, pp. 105-130.

  4. Robins, G., Signal Constellation Design Tool: A Case Study in User Interface Synthesis, Proc. Second International Conference on Computer-Assisted Learning, Dallas, Texas, May 1989, pp. 452-467.

  5. Robins, G., An Interactive Gate-Level Simulator of a Classical Von Neumann Architecture, as an Educational Aid for Introducing Novices to the Fundamentals of Computer Organization, Proc. Third International Conference on Human-Computer Interaction, Boston, Massachusetts, September 1989.

  6. Kahng, A. B., and Robins, G., A New Class of Steiner Tree Heuristics with Good Performance: The Iterated 1-Steiner Approach, Distinguished Paper, Proc. IEEE International Conference on Computer-Aided Design, Santa Clara, November 1990, pp. 428-431.

  7. Kahng, A. B., Cong, J., and Robins, G., High-Performance Clock Routing Based on Recursive Geometric Matching, Proc. ACM/IEEE Design Automation Conference, San Francisco, June 1991, pp. 322-327.

  8. Kahng, A. B., and Robins, G., Optimal Algorithms for Determining Regularity in Pointsets, Proc. Canadian Conference on Computational Geometry, Vancouver, August 1991, pp. 167-170.

  9. Cong, J., Kahng, A. B., and Robins, G., On Clock Routing For General Cell Layouts, Proc. IEEE International ASIC Conference, Rochester, September 1991, pp. P14:5.1-P14:5.4.

  10. Cong, J., Kahng, A. B., Robins, G., M. Sarrafzadeh and C. K. Wong, Performance-Driven Global Routing for Cell Based IC's, Proc. IEEE International Conference on Computer Design, Cambridge, October 1991, pp. 170-173.

  11. Cong, J., Kahng, A. B., Robins, G., M. Sarrafzadeh and C. K. Wong, Provably-Good Algorithms for Performance-Driven Global Routing, Proc. IEEE International Symposium on Circuits and Systems, San Diego, May 1992, pp. 2240-2243.

  12. Kahng, A. B., Robins, G. and Walkup, E. A., New Results and Algorithms for MCM Substrate Testing, Proc. IEEE International Symposium on Circuits and Systems, San Diego, May 1992, pp. 1113-1116.

  13. Alpert, C., Cong, J., Kahng, A. B., Robins, G., and Sarrafzadeh, M., Minimum Density Interconnection Trees, Proc. IEEE International Symposium on Circuits and Systems, Chicago, May 1993, pp. 1865-1868.

  14. Barrera, T., Griffith, J., McKee, S. A., Robins, G., and Zhang, T., Toward a Steiner Engine: Enhanced Serial and Parallel Implementations of the Iterated 1-Steiner MRST Algorithm, Proc. Great Lakes Symposium on VLSI, Kalamazoo, MI, March 1993, pp. 90-94. Steiner code (UNIX tar format)

  15. Boese, K. D., Kahng, A. B., and Robins, G., High Performance Routing Trees With Identified Critical Sinks, Proc. ACM/IEEE Design Automation Conference, Dallas, June 1993, pp. 182-187.

  16. Boese, K. D., Kahng, A. B., McCoy, B. A. and Robins, G., Toward Optimal Routing Trees, Proc. ACM/SIGDA Physical Design Workshop, Lake Arrowhead, CA, April 1993, pp. 44-51.

  17. Barrera, T., Griffith, J., Robins, G., and Zhang, T., Narrowing the Gap: Near-Optimal Steiner Trees in Polynomial Time, Proc. IEEE International ASIC Conference, Rochester, September 1993, pp. 87-90. Steiner code (UNIX tar format)

  18. Boese, K. D., Kahng, A. B., McCoy, B. A. and Robins, G., Fidelity and Near-Optimality of Elmore-Based Routing Constructions, Proc. IEEE International Conference on Computer Design, Cambridge, October 1993, pp. 81-84.

  19. McCoy, B. A., and Robins, G., Non-Tree Routing, Proc. European Design Automation Conference, Paris, France, February 1994, pp. 430-434.

  20. Alexander, M. J., and Robins, G., A Unified New Approach to FPGA Routing Based on Multi-Weighted Graphs, Proc. ACM/SIGDA International Workshop on Field-Programmable Gate Arrays, Berkeley, CA, February 1994.

  21. Hodes, T. D., McCoy, B. A., and Robins, G., Dynamically-Wiresized Elmore-Based Routing Constructions, IEEE International Symposium on Circuits and Systems, London, England, May 1994, Volume I, pp. 463-466.

  22. Robins, G., and Salowe, J. S., On the Maximum Degree of Minimum Spanning Trees, ACM Symposium on Computational Geometry, Stoney Brook, NY, June 1994, pp. 250-258.

  23. Boese, K. D., Kahng, A. B., McCoy, B. A., and Robins, G., Rectilinear Steiner Trees with Minimum Elmore Delay, Proc. ACM/IEEE Design Automation Conference, San Diego, CA, June 1994, pp. 381-386.

  24. Alexander, M. J., and Robins, G., High Performance Routing for Field-Programmable Gate Arrays, Proc. IEEE International ASIC Conference, Rochester, NY, September 1994, pp. 138-141.

  25. Alexander, M. J., Cohoon, J. P., Ganley, J. L., and Robins, G., An Architecture -Independent Approach to FPGA Routing Based on Multi-Weighted Graphs, Proc. European Design Automation Conference, Grenoble, France, September, 1994, pp. 259-264.

  26. Robins, G., and Robinson, B. L., Pattern Minefield Detection from Inexact Data, Proc. SPIE International Symposium on Aerospace/Defense Sensing and Dual-Use Photonics, Volume 2496, Orlando, FL, April 1995, pp. 568-574.

  27. Alexander, M. J., and Robins, G., New Performance-Driven FPGA Routing Algorithms, Proc. ACM/IEEE Design Automation Conference, San Francisco, CA, June 1995, pp. 562-567. FPGA benchmarks and routings

  28. Alexander, M. J., Cohoon, J. P., Colflesh, J. L., Karro, J., and Robins, G., Three-Dimensional Field Programmable Gate Arrays, Proc. IEEE International ASIC Conference, Austin, TX, September 1995, pp. 253-256.

  29. Pearson, W. R., Robins, G., Wrege, D. E., and Zhang, T., A New Approach to Primer Selection in Polymerase Chain Reaction Experiments, Proc. International Conference on Intelligent Systems for Molecular Biology, Cambridge, England, July, 1995, pp. 285-291.

  30. Alexander, M. J., Cohoon, J. P., Ganley, J. L., and Robins, G., Performance-Oriented Placement and Routing for Field-Programmable Gate Arrays, Proc. European Design Automation Conference, Brighton, England, September, 1995, pp. 80-85.

  31. Alexander, M. J., Cohoon, J. P., Colflesh, J. L., Karro, J., Peters, E. L. and Robins, G., Physical Layout for Three-Dimensional FPGAs, 1996 ACM/SIGDA Physical Design Workshop, Reston, VA, April, 1996, pp. 142-149.

  32. Alexander, M. J., Cohoon, J. P., Colflesh, J. L., Karro, J., Peters, E. L. and Robins, G., Placement and Routing for Three-Dimensional FPGAs, Fourth Canadian Workshop on Field-Programmable Devices, Toronto, Canada, May, 1996, pp. 11-18.

  33. Bateman, C. D., Helvig, C. S., Robins, G., and Zelikovsky, A., Provably-Good Routing Tree Construction with Multi-Port Terminals, ACM/SIGDA International Symposium on Physical Design, Napa Valley, CA, April, 1997, pp. 96-102. group Steiner code (Java)

  34. Helvig, C. S., Robins, G., and Zelikovsky, A., Improved Approximation Bounds for the Group Steiner Problem, Proc. Conference on Design Automation and Test in Europe, Paris, France, February, 1998, pp. 406-413. group Steiner code (Java)

  35. Kahng, A. B., Robins, G., Singh, A., Wang, H., and Zelikovsky, A., Filling and Slotting: Analysis and Algorithms, Proc. International Symposium on Physical Design, Monterey, California, April, 1998, pp. 95-102.

  36. Helvig, C. S., Robins, G., and Zelikovsky, A., Moving-Target TSP and Related Problems, Proc. European Symposium on Algorithms, Venice, Italy, August, 1998, pp. 453-464, published as Lecture Notes in Computer Science, 1461, G. Bilardi, G. F. Italiano, A. Pietracaprina and G. Pucci (eds.), 1998.

  37. Kahng, A. B., Robins, G., Singh, A., and Zelikovsky, A., New and Exact Filling Algorithms for Layout Density Control, Proc. VLSI Design Conference, Goa, India, January 1999, pp. 106-110.

  38. Kahng, A. B., Robins, G., Singh, A., and Zelikovsky, A., New Multi-Level and Hierarchical Algorithms for Layout Density Control, Proc. Asia and South Pacific Design Automation Conference, Hong Kong, China, January 1999, pp. 221-224. Nominated for Best Paper Award

  39. Robins, G., and Zelikovsky, A., Improved Steiner Tree Approximation in Graphs, SIAM-ACM Symposium on Discrete Algorithms (SODA), San Francisco, CA, January 2000, pp. 770-779.

  40. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Monte-Carlo Algorithms for Layout Density Control, Proc. Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2000, pp. 523-528.

  41. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Practical Iterated Fill Synthesis for CMP Uniformity, Proc. Design Automation Conference, Los Angeles, June 2000, pp. 671-674.

  42. Blair, D., and Robins, G., A New Distributed System for Large-Scale Sequence Analyses, International Conference on Intelligent Systems for Molecular Biology, San Diego, August 2000.

  43. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Hierarchical Dummy Fill for Process Uniformity, Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2001, pp. 139-144.

  44. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Closing the Smoothness and Uniformity Gap in Area Fill Synthesis, ACM/SIGDA International Symposium on Physical Design, Del Mar, CA, April 2002, pp. 137-142.

  45. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Monte-Carlo Methods for Chemical-Mechanical Planarization on Multiple-Layer and Dual-Material Models, Proc. Microlithography 2002, International Society of Optical Engineering (SPIE), Santa Clara, CA, March 2002, pp. 421-432.

  46. Chen, Y., Kahng, A. B., Robins, G., Zelikovsky, A., and Zheng, Y., Area Fill Generation With Inherent Data Volume Reduction, Proc. Design Automation and Testing in Europe, Munich, Germany, March 2003, pp. 868-873.

  47. ..., Robins, G. et al., Intelligence and Planning, Proceedings of the Conference on Interagency Requirements for Regional Stability / Capacity Building Research and Development, sponsored by the White House Office of Science and Technology Policy, the U.S. State Department, and the U.S. Department of Defense, Washington D.C., December 2004.

  48. Chen, Y., Kahng, A. B., Robins, G., Zelikovsky, A., and Zheng, Y., Evaluation of the New OASIS Format for Layout Fill Compression, Proc. IEEE International Conference on Electronics, Circuits and Systems, Israel, December 2004, pp. 377-382.

  49. Bolotnyy, L., and Robins, G., Multi-Tag Radio Frequency Identification Systems, Proc. IEEE Workshop on Automatic Identification Advanced Technologies, October, 2005, pp. 83-88.

  50. Bolotnyy, L., and Robins, G., Randomized Pseudo-Random Function Tree Walking Algorithm for Secure Radio-Frequency Identification, Proc. IEEE Workshop on Automatic Identification Advanced Technologies, October, 2005, pp. 43-48.

  51. Bolotnyy, L., and Robins, G., Generalized 'Yoking Proofs' for a Group of Radio Frequency Identification Tags, Proc. International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006), San Jose, CA, July, 2006.

  52. Bolotnyy, L., and Robins, G., Physically Unclonable Function -Based Security and Privacy in RFID Systems, Proc. IEEE International Conference on Pervasive Computing and Communications (PerCom 2007), New York, March, 2007, pp. 211-218.

  53. Bolotnyy, L., Krize, S., and Robins, G., The Practicality of Multi-Tag RFID Systems, Proc. International Conference on Enterprise Information System (ICEIS 2007), International Workshop on RFID Technology - Concepts, Applications, Challenges (IWRT 2007), Funchal, Portugal, June 2007.

  54. Bolotnyy, L. and Robins, G., The Case for Multi-Tag RFID Systems, Proc. International Conference on Wireless Algorithms, Systems and Applications (WASA 2007), Chicago, August 2007, pp. 174-186.

  55. Dutta, A., Karnani, N., Malhotra, A., Robins, G., and Taylor, C. M., Extraction of Human DNA Replication Timing Patterns from Discrete Microarray Data, Proc. IAPR International Conference on Pattern Recognition in Bioinformatics (PRIB 2008), Melbourne, Autralia, October, 2008.

  56. Chawla, K., Robins, G., and Weimer, W., On Mitigating Covert Channels in RFID-Enabled Supply Chains, Proc. Workshop on RFID Security (RFIDSEC 2010), Singapore, February, 2010.

  57. Chawla, K., Robins, G., and Zhang, L., Object Localization Using RFID, Proc. IEEE International Symposium on Wireless Pervasive Computing (ISWPC 2010), Modena, Italy, May, 2010, pp. 301-306.

  58. Chawla, K., Robins, G., and Zhang, L., Efficient RFID-Based Mobile Object Localization, Proc. IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2010), Canada, Oct, 2010, pp. 683-690.

  59. Huang, J., Lach, J., and Robins, G., Analytic Error Modeling for Imprecise Arithmetic Circuits, IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 2011), Urbana-Champaign, IL, Mar, 2011.

  60. Huang, J., Lach, J. and Robins, G., A Methodology for Energy-Quality Tradeoffs Using Imprecise Hardware, Proc. ACM/IEEE Design Automation Conference, San Francisco, CA, June 2012, pp. 504-509.

  61. Brunelle, N., Robins, G., and shelat, a., Algorithms for Compressed Inputs, IEEE Data Compression Conference, Salt Lake City, Utah, 2013, p. 478.

  62. Chawla, K., McFarland, C., Robins, G., and Shope, C., Real-Time Indoor Localization Using RFID, IEEE International Conference on Localization and Global Navigation Satellite Systems, Torino, Italy, 2013, pp. 1-6. This paper won the Best Presentation Award.

  63. Singh, R., Lanchantin, J., Robins, G., and Qi, Y., Transfer String Kernel for Cross-Context Transcription Factor Binding Prediction, International Workshop on Data Mining in Bioinformatics (BIOKDD'15), Sydney, Australia, 2015.

  64. Brunelle, N., Robins, G., and shelat, a., Compression-Aware Algorithms for Massive Datasets, Data Compression Conference, Salt Lake City, Utah, 2015.

  65. Tracy, T., Stan, M., Brunelle, N., Wadden, J., Wang, K., Skadron, K., and Robins, G., Nondeterministic Finite Automata in Hardware - the Case of the Levenshtein Automaton, International Workshop on Architectures and Systems for Big Data, at the International Symposium on Computer Architecture, 2015.

  66. Toward Metrics of Design Automation Research Impact, Kahng, A. B., Luo, M., Nam, G.-J.m Nath, S., Pan, D., and Robins, G., IEEE/ACM International Conference on Computer-Aided Design, pp. 263-270, Austin, Texas, 2015.

  67. Chawla, K., McFarland, C., Robins, G., and Shope, C., Radio Frequency Identification and Localization Using RSS, in submission.

  68. Wadden, J., Brunelle, N., Wang, K., El-Hadedy, M., Robins, R., Stan, M., and Skadron, K.. Generating Efficient and High-Quality Pseudo-Random Behavior on Automata Processors, International Conference on Computer Design, Phoenix, Arizona, 2016.

  69. Wadden, J., Dang, V., Brunelle, N., Tracy, T., Guo, D., Sadredini, E., Wang, K., Bo, C., Robins, G. Stan, M., and Skadron, K.. ANMLZoo: A Benchmark Suite for Exploring Bottlenecks in Automata Processing Engines and Architectures, IEEE International Symposium on Workload Characterization (IISWC), Providence, Rhode Island, 2016, pp. 105-116.

Technical Reports

  1. Robins, G., The NIKL Manual, USC/Information Sciences Institute, Marina Del Rey, April 1985.

  2. Kaczmarek, T., Bates, R., and Robins, G., Recent Developments in NIKL, ISI Technical Report ISI/RS-86-167, USC/Information Sciences Institute, Marina Del Rey, California, November 1986.

  3. Robins, G., The ISI Grapher: a Portable Tool for Displaying Graphs Pictorially, ISI Technical Report ISI/RS-87-196, USC/Information Sciences Institute, Marina Del Rey, California, September 1987.

  4. Robins, G., The ISI Grapher Manual, ISI Technical Report ISI/TM-88-197, USC/Information Sciences Institute, Marina Del Rey, California, February 1988.

  5. Robins, G., Applications of The ISI Grapher, ISI Technical Report ISI/RS-88-210, USC/Information Sciences Institute, Marina Del Rey, California, June 1988.

  6. Robins, G., On Style, Expressibility, and Efficiency in Functional Programming Languages, UCLA Computer Science Department Quarterly, Fall 1987, pp. 105-121; also UCLA CSD TR # CSD-880029, 1988.

  7. Robins, G., Signal Constellation Design Tool: A Case Study in User Interface Synthesis, UCLA, Computer Science Department Technical Report # CSD-880051, 1988.

  8. Gafni, E., and Robins G., A Potential-Based Proof for a Certain Pebbling Game and its Generalization, UCLA, Computer Science Department Technical Report # CSD-880062, August 1988.

  9. Robins, G., Teaching Theoretical Computer Science at the Undergraduate Level: Experiences, Observations, and Proposals to Improve the Status Quo, UCLA, Computer Science Department Technical Report # CSD-880063, August 1988.

  10. Robins, G., An Interactive Gate-Level Simulator of a Classical Von Neumann Architecture, as an Educational Aid for Introducing Novices to the Fundamentals of Computer Organization, UCLA, Computer Science Department Technical Report # CSD-880064, August 1988.

  11. Kahng, A. B., and Robins, G., A New Family of Steiner Tree Heuristics with Good Performance, UCLA, Computer Science Department Technical Report # CSD-900014, April 1990.

  12. Kahng, A. B., and Robins, G., On Performance Bounds for a Class of Rectilinear Steiner Tree Heuristics in Arbitrary Dimension, April 1990, UCLA, Computer Science Department Technical Report # CSD-900015, April 1990.

  13. Robins, G., and Kahng A. B., An Optimal Algorithm for Computing All Regular Linear Degeneracies of Pointsets in E^d, UCLA, Computer Science Department Technical Report # CSD-900045, December 1990.

  14. Kahng, A. B., Cong, J., and Robins, G., High-Performance Clock Routing Based on Recursive Geometric Matching, UCLA, Computer Science Department Technical Report # CSD-900046, December 1990.

  15. Cong, J., Kahng, A. B., and Robins, G., Performance-Driven Global Routing for Cell Based IC's, UCLA CSD TR # CSD-900052, December 1990.

  16. Cong, J., Kahng, A. B., and Robins, G., Provably-Good Performance-Driven Global Routing, UCLA, Computer Science Department Technical Report # CSD-910013, April 1991.

  17. Kahng, A. B., and Robins, G., On Structure and Randomness in Practical Optimization, 1990-1991 UCLA Computer Science Department Annual, 1991, pp. 25-40.

  18. Kahng, A. B., Robins, G., and Walkup, E. A., On Connectivity Verification in Multi-Chip Module Substrates, UCLA, Computer Science Department Technical Report # CSD-910074, October 1991.

  19. Gomory, R., Hu, T. C., Kahng, A. B., and Robins, G., Optimal Robust Path Planning in General Environments, UCLA, Computer Science Department Technical Report # CSD-910082, December 1991.

  20. Hu, T. C., Kahng, A. B., and Robins, G., Optimal Solution of the Discrete Plateau Problem, UCLA, Computer Science Department Technical Report # CSD-920006, March 1992.

  21. Robins, G., On Optimal Interconnections, Ph.D. Dissertation, University of California, Los Angeles, Computer Science Department Technical Report # CSD-920024, June 1992.

  22. Alpert, C., Cong, J., Kahng, A. B., Robins, G., and M. Sarrafzadeh, Minimum Density Interconnection Trees, University of Virginia, Department of Computer Science Technical Report # CS-92-35, October 1992.

  23. Boese, K. D., Kahng, A. B., and Robins, G., High Performance Routing Trees With Identified Critical Sinks, University of Virginia, Department of Computer Science Technical Report # CS-92-37, November 1992.

  24. Barrera, T., Griffith, J., McKee, S. A., Robins, G., and Zhang, T., Toward a Steiner Engine: Enhanced Serial and Parallel Implementations of the Iterated 1-Steiner MRST Heuristic, University of Virginia, Department of Computer Science Technical Report # CS-92-40, December 1992.

  25. Boese, K. D., Kahng, A. B., McCoy, B. A. and Robins, G., Fidelity and Near-Optimality of Elmore-Based Routing Constructions, University of Virginia, Department of Computer Science Technical Report # CS-93-14, March 1993.

  26. McCoy, B. A. and Robins, G., Non-Tree Routing, University of Virginia, Department of Computer Science Technical Report # CS-93-16, April 1993.

  27. Robins, G., and Salowe, J. S., On the Maximum Degree of Minimum Spanning Trees, University of Virginia, Department of Computer Science Technical Report CS-93-22, May 1993.

  28. Barrera, T., Griffith, J., Robins, G., and Zhang, T., Narrowing the Gap: Near-Optimal Steiner Trees in Polynomial Time, University of Virginia, Department of Computer Science Technical Report # CS-93-31, June 1993.

  29. Boese, K. D., Kahng, A. B., McCoy, B. A. and Robins, G., Near-Optimal Critical Sink Routing Tree Constructions, University of Virginia, Department of Computer Science Technical Report # CS-93-46, August 1993; also issued as UCLA Computer Science Department Technical Report # CSD-930029, August 1993.

  30. Alexander, M. J., and Robins, G., An Architecture-Independent Unified Approach to FPGA Routing, University of Virginia, Department of Computer Science Technical Report # CS-93-51, October 1993.

  31. Robins, G., Wrege, D. E., Zhang, T., and Pearson, R. P., On the Primer Selection Problem in Polymerase Chain Reaction Experiments, University of Virginia, Department of Computer Science Technical Report # CS-93-68, November 1993.

  32. Hodes T. D., McCoy, B. A., and Robins, G., Dynamically-Wiresized Elmore-Based Routing Constructions, University of Virginia, Department of Computer Science Technical Report # CS-93-69, December 1993.

  33. Boese, K. D., Kahng, A. B., McCoy, B. A., and Robins, G., Rectilinear Steiner Trees with Minimum Elmore Delay, University of Virginia, Department of Computer Science Technical Report # CS-94-11, March 1994.

  34. Alexander, M. J., and Robins, G., New Graph Arborescence and Steiner Constructions for High-Performance FPGA Routing, University of Virginia, Department of Computer Science Technical Report # CS-94-12, April 1994.

  35. Alexander, M. J., and Robins, G., New Performance-Driven FPGA Routing Algorithms, University of Virginia, Department of Computer Science Technical Report # CS-94-49, October 1994.

  36. Alexander, M. J., Cohoon, J. P., Colflesh, J. L., Karro, J., and Robins, G., Three-Dimensional Field-Programmable Gate Arrays, University of Virginia, Department of Computer Science Technical Report # CS-95-15, March, 1995.

  37. Robins, G., and Robinson, B. L., Landmine Detection from Inexact Data, University of Virginia, Department of Computer Science Technical Report # CS-95-21, April 1995.

  38. Robins, G., Surfing the Internet, University of Virginia, Department of Computer Science Technical Report # CS-95-25, May 1995.

  39. Bateman, C. D., Helvig, C. H., Robins, G., and Zelikovsky, A., Provably-Good Routing Tree Construction with Multi-Port Terminals, University of Virginia, Department of Computer Science Technical Report # CS-97-07, April 1997.

  40. Helvig, C. H., Robins, G., and Zelikovsky, A., An Approximation Scheme for the Group Steiner Problem, University of Virginia, Department of Computer Science Technical Report # CS-97-18, July 1997.

  41. Kahng, A. B., Robins, G., Singh, A., Wang, H., and Zelikovsky, A., Filling and Slotting: Analysis and Algorithms, University of Virginia, Department of Computer Science Technical Report # CS-97-30, December 1997.

  42. Helvig, C. H., Robins, G., and Zelikovsky, A., Moving-Target TSP and Related Problems, University of Virginia, Department of Computer Science Technical Report # CS-98-07, April 1998.

  43. Zelikovsky, A., and Robins, G., Improved Steiner Tree Approximation in Graphs, University of Virginia, Department of Computer Science Technical Report # CS-99-28, October 1999.

  44. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Monte-Carlo Algorithms for Layout Density Control, University of Virginia, Department of Computer Science Technical Report # CS-99-31, November 1999.

  45. Chen, Y., Kahng, A. B., Robins, G., and Zelikovsky, A., Practical Iterated Fill Synthesis for CMP Uniformity, University of Virginia, Department of Computer Science Technical Report # CS-2000-10, March 2000.

  46. Haspel, D., Robins, G., and Street, B., A New Generalized Authority-Based Framework for Web Page Discovery, University of Virginia, Department of Computer Science Technical Report # CS-2001-04, January 2001.

  47. Bolotnyy, L., and Robins, G., Inter-Tag Communication and Tag Cooperation in RFID Systems, University of Virginia, Department of Computer Science Technical Report # CS-2006-11, February 2006.

  48. Bolotnyy, L., and Robins, G., Generalized "Yoking-Proofs" for a Group of Radio Frequency Identification Tags, University of Virginia, Department of Computer Science Technical Report # CS-2006-12, March 2006.

  49. Bolotnyy, L., and Robins, G., Physical Unclonable Function -Based Security and Privacy in RFID Systems, University of Virginia, Department of Computer Science Technical Report # CS-2007-01, January 2007.

  50. Kreuter, B., Layer, R. M., McDaniel, M., Robins, G., and Skadron, K., Accelerating Genomic Analyses with Parallel Sliding Windows, University of Virginia, Department of Computer Science Technical Report # CS-2010-14, October 2010.

Patents and Invention Disclosures

  1. "Thermal Fill to Control Thermal Skew", Disclosure filed August 15, 2003, with co-inventor Andrew Kahng (UCSD).

  2. "Multi-Tag Radio Frequency Identification Systems", Discloure filed September 21, 2005, with co-inventor Leonid Bolotnyy (UVa).

  3. "RFID Object Localization System that Simultaneously Offers High Speed, Accuracy, and Reliability", Patent filed with USPTO in 2011, with co-inventor Kirti Chawla (UVa).

  4. Object Localization with RFID Infrastructure, Patent filed with the World Intellectual Property Organization (WIPO) in 2012, with co-inventor Kirti Chawla (UVa), WIPO International Publication Number WO 2012047559 A2.

News Articles Referring to Me or My Work

  1. Engineering Student Follows Winding Path to August Graduation, UVa Today, August 3, 2014 (local copy)

  2. How to Share Your Love for Engineering with the Spongebob Crowd, IEEE-USA Today's Engineer Online, September 9, 2009. (local copy)

  3. Famous Last Words, Perth Sunday Times, Australia, April 27, 2008

  4. Dying Professor Randy Pausch's Lecture Worldwide Sensation, Perth Now, Australia, April 26, 2008

  5. Perspective: "I'm Living My Life" - Randy Pausch's Lessons Touch Many, The University of Virginia Magazine, Spring 2008. (local copy)

  6. Time of Your Life, Cavalier Daily, Nov 28, 2007. (local copy)

  7. Professor with Terminal Cancer: There's Less Time Than You Think, Daily Progress, Nov 28, 2007. (local copy)

  8. Randy Pausch Delivers Lecture on Time Management at UVA, Draws Crowd of Hundreds, Virginia Sentinel, Nov 28, 2007. (local copy)

  9. Randy Pausch: Time is All That Matters, UVa Today, Nov 28, 2007. (local copy)

  10. Prognosis Prompts Professor's Tour, NBC 29 / WVIR-TV, Nov 27, 2007. (local copy)

  11. Former UVa Prof Giving His Last Lectures, 19 News / WCAV-TV, 16 ABC, FOX 27 / WAMU, Nov 27, 2007. (local copy)

  12. Lecture of a Lifetime: U.Va.'s School of Engineering and Applied Science Hosts Talk by Randy Pausch, UVa Today, Nov 12, 2007. (local copy)

  13. With his Death Looming, Randy Pausch Gives the Lecture of a Lifetime, UVa Today, Sept 25, 2007. (local copy)

  14. Astronomer Kelsey Johnson Named Packard Fellow, UVa Today, Oct 8, 2007. (local copy)

  15. The Perspiration of Patenthood, IEEE-USA Today's Engineer Online, March, 2007. (local copy)

  16. Forensic Engineering: On the Trail of Truth, IEEE-USA Today's Engineer Online, September, 2006. (local copy)

  17. Babbage Institute Records Computer Science History, The Minnesota Daily, October 12, 2005. (local copy)

  18. Focusing on Partnerships, Impact - Engineering That Makes a Difference, School of Engineering and Applies Science, UVa, Spring Issue, Volume 4, Number 3, March 2002, p. 1.

  19. Robins Tackles Computing Problems, Inside UVa, November 10, 2000. (local copy)

  20. Give this to Will Smith, National Post, September 5, 2000.

  21. Models Connect Technology, Biology, Cavalier Daily, February 24, 2000. (web copy) (local copy)

  22. Robins Receives Grant of $500,000 from Packard Foundation, The University Journal, Vol. XVIII, No. 30, October 13, 1995, p. 1

  23. Computer Whiz and then Some, Virginia Engineering, University of Virginia, Spring 1996, pp. 7-8.

  24. Computer Scientist Wins Top Fellowship, Virginia Engineering, Winter, 1996, p. 5

  25. Packard Award Given to Gabriel Robins in the School of Engineering and Applied Science, Opportunities, University of Virginia, June 17, 1996, p. 15

  26. Workshop: Physical Design not in Great Shape, Electronic Engineering Times, April 22, 1996.

  27. Robins Earns Young Investigator Award, Virginia Engineering, Fall 1994, p. 4

  28. Faculty Members Earn Recognition from University, Cavalier Daily, April 26, 1995, p. 1

  29. Award-Winning Teachers Help Students Make Their Own Discoveries, Inside UVa, Vol. 25, Issue 15, April 28, 1995, pp. 1-3

  30. Scientists Float a New Solution to Puzzling Bubble, Los Angeles Times, Oct 1, 1992, pp. A-2, B-1, B-3

  31. Floating an Answer to Bubble Riddle, Nora Zamichow, San Diego Union-Tribune, Oct 1, 1992, pp. B-1, B-8

  32. Mathematics: Bubble Problem's Practical Potential, Washington Post, Monday, October 5, 1992, p. A-2

  33. Associated Press, The Boston Globe, Thursday, October 1, 1992, p. A-3

  34. Notices also appeared in The San Francisco Examiner, and the World Journal

Code Distributions

  1. Steiner code (UNIX tar format)

  2. FPGA code

  3. FPGA benchmarks and routings

  4. group Steiner code (Java)

Invited Talks and Colloquiums

  1. The ISI Grapher: a Portable Tool for Displaying Graphs Pictorially, at the Symboliikka '87 Conference, Helsinki, Finland, August 17, 1987.

  2. Performance-Driven Global Routing for Cell Based IC's, at IBM Thomas J. Watson Research Center, Yorktown Heights, November, 1991.

  3. Provably-Good Algorithms for Bounded Radius Spanning and Steiner Trees, at Institute for Defense Analysis (IDA), La Jolla, Ca, October 1, 1992.

  4. High-Performance Routing Constructions for FPGAs, at Computer Science Department, University of Illinois, Urbana-Champaign, IL, November 4, 1994.

  5. Performance-Driven Routing for Field-Programmable Gate Arrays, at Computer Science Department, University of California at Berkeley, Berkeley, CA, November 11, 1994.

  6. Performance-Driven FPGA Routing Algorithms, at Xilinx Corporation, San Jose, CA, November 10, 1994.

  7. Three-Dimensional Field-Programmable Gate Arrays, at the 1996 Canadian Workshop on Field-Programmable Devices, Toronto, Canada, May 1996.

  8. New Algorithms for the Network Multicast Problem, at the International Computer Science Institute, Berkeley, CA, November 10, 1994.

  9. From Chips to Ships: Applying VLSI CAD Algorithms to Naval Vessel Design, Institute for Defense Analyses, Alexandria, Va, November 1995.

  10. On Optimal Interconnections, Packard Foundation, Monterey, CA, September 1996; talk given at the Packard Foundation Annual Meeting.

  11. Excellence and Academia: a Different Perspective, Invited speaker at the UVa Teaching Resource Center Retreat, September 1997.

  12. Moving-Target TSP and Related Problems, Packard Foundation Annual Meeting, Santa Fe, New Mexico, September 1998.

  13. New Problems and Algorithms in VLSI CAD and Computational Geometry, Georgetown University, Washington D.C., February 18, 1999.

  14. Interconnections, Packard Foundation Annual Meeting, Monterey, CA, September 2000.

  15. New Problems and Algorithms in VLSI CAD and Computational Geometry, 2000 Seminar Series, Department of Systems Engineering, October 2000.

  16. Fun With Math, University of Virginia Math Club, Department of Mathematics, March 2002.

  17. More Fun With Math, University of Virginia Math Club, Department of Mathematics, April 2002.

  18. The UVa Computer Museum, Virginia's Governor's School, November, 2003.

  19. A Brief History of Computers, Virginia's Governor's School, Summer, 2004.

  20. Applied Algorithms and Optimization, University of Virginia, CS290/390 Department of Computer Science, April 2006.

  21. Beautiful Proofs, University of Virginia Math Club, Department of Mathematics, April 2006.

Presentation Slides

  1. Applied Algorithms and Optimization [Powerpoint 14M]

  2. RFID Object Localization (short version) [Powerpoint 582K]

  3. RFID Object Localization (long version) [Powerpoint 1.9M]

  4. Algorithmic Analysis of Human DNA Replication Timing from Discrete Microarray Data [Powerpoint 1.1M]

  5. New Directions in Reliability, Security and Privacy in Radio Frequency Identification Systems (Dec 2007) [Powerpoint 5.9M]

  6. New Directions in Detection, Security and Privacy for RFID (Ph.D. proposal) [Powerpoint 4.2M]

  7. The Practicality of Multi-Tag RFID Systems [Powerpoint 2.5M]

  8. Physically Unclonable Function -Based Security and Privacy in RFID Systems [Powerpoint 435K]

  9. Randomized PRF Tree Walking Algorithm for Secure RFID [Powerpoint 683K]

  10. New Approaches to Analyzing Biological Sequences [Powerpoint 457K]

  11. Multiple Sequence Alignment by Iterative Tree-Neighbor Alignments [Powerpoint 329K]

  12. A Web-based Tool for Visual Identification of Novel Genes [Powerpoint 386K]

  13. A Distributed System for Biological Sequence Analyses [Powerpoint 2.6M]

  14. Quantum Algorithms for the Moving-Target Traveling Salesperson Problem [Powerpoint 672K]

  15. Improved Steiner Tree Approximations in Graphs [Powerpoint 145K]

  16. Hierarchical Dummy Fill for Process Uniformity [Powerpoint 336K]

  17. Closing the Smoothness and Uniformity Gap in Area Fill Synthesis (long version) [Powerpoint 493K]

  18. Closing the Smoothness and Uniformity Gap in Area Fill Synthesis (short version) [Powerpoint 329K]

Posters

  1. Computer Science at Virginia - Thomas Jefferson With Laptop [PDF 2.7M] [Powerpoint 2.0M]

  2. Applied Algorithms and Optimization [PDF 9.4M] [Visio 14M]

  3. Radio Frequency Identification Systems: New Ideas and Algorithms [PDF 1.5M] [Powerpoint 3.8M]

  4. Generalized 'Yoking-Proofs' for a Group of RFID Tags [PDF 2.2M] [Powerpoint 2.6M]

  5. Area Fill Synthesis Algorithms for Enhanced VLSI Manufacturability [PDF 195K] [Powerpoint 451K]

  6. Quantum Algorithms for the Moving-Target Traveling Salesperson Problem [PDF 213K] [Powerpoint 768K]

  7. A New Distributed System for Large Scale Sequence Analyses [PDF 1.8M] [Powerpoint 2.4M]

  8. A Web-based Tool for Visual Identification of Novel Genes [PDF 451K] [Powerpoint 1.0M]

  9. The Generalized Neighbor Joining Method [PDF 705K] [Visio 1.5M]

  10. Primer Selection for Polymerase Chain Reactions [PDF 554K] [Visio 2.4M]

  11. Filling Algorithms and Analyses for Improved VLSI Manufacturability [PDF 453K] [Visio 1.6M]

  12. Moving Target TSP and Related Problems [PDF 204K] [Visio 817K]

  13. Improved Approximation Bounds for the Group Steiner Problem [PDF 243K] [Visio 834K]

Boards / Panels

  1. Member of the Editorial Board of Journal of Electrical and Computer Engineerings, 2010-present.

  2. Member of the Editorial Board of Informatics, an International Journal, 2013-present.

  3. Member of the Editorial Board of Research Letters in Electronics, 2007-2010.

  4. Associate Editor of IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2000-2005.

  5. Panel Member at the Requirements for Regional Stability/Capacity Building R&D, sponsored by the White House Office of Science and Technology Policy, the U.S. State Department, and the U.S. Department of Defense, Washington D.C., December 3, 2004.

  6. Member of the Army Science Board, a federal advisory committee U.S. Army on science, technology, research, and national security, 1998-2001.

  7. Member of the Defense Science Study Group (DSSG), an advisory board to the Department of Defense, 1993-1995.

  8. Member of the National Academy of Sciences study: Technology for the United States Navy and Marine Corps, 2000-2035 - Becoming a 21st Century Force, an advisory panel to the U.S. Navy, 1996-1997.

  9. Member of the Editorial Board of the IEEE Press Book Series.

  10. National Science Foundation Design Automation Panel .

  11. National Science Foundation Information Technology Research (ITR) Panel, 2002.

Grants Received

  1. Packard Foundation Fellowship, $550,000, September 1995 to September 2001.

  2. National Science Foundation Young Investigator Award, MIP-9457412, $312,500, August 1994 to August 2000.

  3. Compression-Aware Algorithms for Massive Datasets, National Science Foundation, $500,000, July 2011 to June 2016.

  4. New Algorithms and Tools for Large-Scale Genomic Analyses, National Institute of Health, $2,459,825, co-PI with Aaron Quinlan, May 2012 to April 2017.

  5. New Directions in Reliability, Security and Privacy for Radio Frequency Identification (RFID) Systems, National Science Foundation, $450,000, September 2007 to August 2011.

  6. New Directions for Advanced VLSI Manufacturability, National Science Foundation, $93,039, August 2004 to July 2007.

  7. Research in Layout Optimization for Advanced Manufacturability Considerations, National Science Foundation, $421,943, August 2000 to July 2003.

  8. New Directions in Computational Biology, (co-PI with Bill Pearson), National Institute of Health / National Library of Medicine, August 2000 to August 2005, $1,800,000.

  9. New Approaches to Phylogeny, Alignment, and Sequence Matching (co-PI with Bill Pearson), National Institute of Health / National Library of Medicine, grant number LM04961, August 1995 to August 2000, $1,175,000.

  10. National Science Foundation, Research Experiences for Undergraduates, $10,000, 1995.

  11. National Science Foundation, Research Experiences for Undergraduates, $10,000, 1996.

  12. National Science Foundation, Research Experiences for Undergraduates, $10,000, 1997.

  13. National Science Foundation, Support for 1996 ACM/SIGDA Physical Design Workshop, $12,500.

  14. Digital Equipment Corporation, December 1994, $45,520.

  15. New Directions in Interconnect Optimization for High-Performance VLSI System Design, Research Initiation Award, National Science Foundation, June 1994, $100,000 over three years.

  16. Co-investigator on computational biology grant (with Bill Pearson), National Institute of Health / National Library of Medicine, grant number LM04969-06, July 1993 to June 1994, $136,774.

  17. Software contribution from Alias Research Inc., May 1995, $550,000.

  18. Dean's Research Initiation Grant, University of Virginia School of Engineering, 1993, $4,000.

Postdocs

  1. Alexander Zelikovsky, Department of Computer Science, University of Virginia, November 1995 to September 1997.

Current Graduate Students

  1. Nathan Brunelle, 2011 to present.

  2. Ritambhara Singh, 2012 to present.

Graduated Students

  1. Mike Alexander, Ph.D. in Computer Science, University of Virginia, August 1996; then a professor at Washington State University.

  2. Susan Bibeault, M.S. in Computer Science, University of Virginia, June 2000.

  3. Doug Blair, M.S. in Computer Science, University of Virginia, December 2000; then a Programmer at Parabon, Inc.

  4. Leonid Bolotnyy, M.S. in Computer Science, University of Virginia, August 2005; Ph.D. in Computer Science, University of Virginia, December 2007; now a researcher at Amazon.

  5. Kirti Chawla, Ph.D. in Computer Science, Department of Computer Science, University of Virginia, April 2014.

  6. Brett Coryell, M.S. in Computer Science, University of Virginia, May 1995; now Deputy CIO at Emory University.

  7. Eric Cota-Robles, M.S. in Computer Science, University of Virginia, December 1994; then an Engineer at Intel Corp., OR

  8. Chris Helvig, M.S. in Computer Science, University of Virginia, May 1998; now a lead computer game developer at Volition, Inc.

  9. Bill Huang, M.S. in Computer Science, University of Virginia, December 2000; then a Software Developer at Microsoft.

  10. Ryan Layer, Ph.D. in Computer Science, University of Virginia, February 2013; now a postdoc in bioinformatics at UVa.

  11. Ankit Malhotra, M.S. in Computer Science, University of Virginia, November 2005.

  12. Berni McCoy, M.S. in Computer Science, University of Virginia, December 1993; then a Software Engineer at Numega Corp.

  13. Jennifer Mifflin, M.S. in Computer Science, University of Virginia, May 2002; then a Software Engineer.

  14. Brian Robinson, M.S. in Computer Science, University of Virginia, December 1994; then a Software Engineer at American Management Systems, Arlington, VA.

  15. Anish Singh, M.S. in Computer Science, University of Virginia, December 1998; then a Software Engineer at Hughes.

  16. Ritambhara Singh, M.S. in Computer Science, University of Virginia, November 2014; now a Ph.D. Student at UVa.

  17. Michael Skalak, M.S. in Computer Science University of Virginia, July 2012.

  18. Chris Taylor, Ph.D. in Computer Science, Department of Computer Science, University of Virginia, December, 2008; now a tenure-track Professor at the University of New Orleans.

  19. Tongtong Zhang, Ph.D. in Computer Science, Department of Computer Science, University of Virginia, December, 1998; then a researcher at Merck Labs.

Undergraduates Involved in My Research

  1. Marcus Balk, B.S. in Computer Science, University of Virginia, May 1996.

  2. Tim Barrera, B.S. in Computer Science, University of Virginia, May 1993.

  3. Doug Bateman, B.S. in Computer Science, University of Virginia, May 1998.

  4. Matthew Bongiovi, B.S. in Computer Science, University of Virginia, May 2014.

  5. Brielin Brown, B.S. in Computer Science, University of Virginia, May 2011.

  6. Dan Brown, B.S. in Computer Science, University of Virginia, May 2011.

  7. Rachel Brown, B.S. in Computer Science, University of Virginia, May 2014.

  8. Ricky Chiappe, B.S. in Computer Science, University of Virginia, May 1996.

  9. Matthew Chiste, B.S. in Computer Science, University of Virginia, May 1998.

  10. Jason Csomay, B.S. in Computer Science, University of Virginia, May 1996.

  11. David Drewry, B.S. in Biomedical Engineering, University of Virginia, May 2012.

  12. Rick Eisenberg, B.S. in Computer Science, University of Virginia, May 2011.

  13. Tyler Eldred, B.S. in Computer Science, University of Virginia, May 2011.

  14. Sami Fekadu, B.S. in Computer Science, University of Virginia, May 2014.

  15. Jeff Griffith, B.A. in Mathematics, University of Virginia, December 1992.

  16. Daniel Haspel, B.A. in Mathematics, University of Virginia, May 2003.

  17. Todd Hodes, B.S. in Computer Science, University of Virginia, May 1994, finalist in the Undergraduate Research and Design Symposium; won the Louis T. Rader Award for research.

  18. Rachel Hyman, B.S. in Computer Science, University of Virginia, May 1996.

  19. Alexander King, B.S. in Computer Science, University of Virginia, May 2011.

  20. Scott Krize, B.S. in Computer Science, University of Virginia, May 2007.

  21. Bjornar Larsen, B.S. in Computer Science, University of Virginia, May 1996.

  22. Jonathan Leech, B.S. in Computer Science, University of Virginia, May 1996.

  23. George Leffue, B.S. in Computer Science, University of Virginia, May 2008.

  24. Chris McFarland, B.S. in Computer Science, University of Virginia, May 2014.

  25. Daniel McNally, B.S. in Computer Science, University of Virginia, May 2008.

  26. Duane Merrill, B.S. in Computer Science, University of Virginia, May 2000.

  27. James Muller, B.S. in Biomedical Engineering, University of Virginia, May 2012.

  28. Devon Peroutky, B.S. in Computer Science, University of Virginia, May 2014.

  29. Ed Peters, B.S. in Computer Science, University of Virginia, May 1996.

  30. Eric Powders, B.S. in Computer Science, University of Virginia, May 1998.

  31. Michael Shadid, B.S. in Computer Science, University of Virginia, May 2000.

  32. Connor Shope, B.S. in Computer Science, University of Virginia, May 2014.

  33. Chris Snook, B.S. in Computer Science, University of Virginia, May 2004.

  34. Kevin Sonnhalter, B.S. in Computer Science, University of Virginia, May 2000.

  35. Thomas Steimel, B.S. in Computer Science, University of Virginia, May 2014.

  36. Brian Street, B.A. in Mathematics, University of Virginia, May 2003, now a professor at the University of Wisconsin-Madison.

  37. William Thomason, B.S. in Computer Science, University of Virginia, May 2014.

  38. Ismail Wahid, B.S. in Computer Science, University of Virginia, May 2014.

  39. Jason Watson, B.A. in Cognitive Science, University of Virginia, May 1997.

  40. Jacob Woods, B.S. in Computer Science, University of Virginia, May 2008.

  41. Eric Zhang, B.S. in Computer Science, University of Virginia, May 2010.

Dissertation / Thesis Committees

  1. Mike Alexander, Ph.D. in Computer Science, University of Virginia, July 1996, Dissertation Advisor.

  2. Saad Arrabi, Ph.D. in Electrical and Computer Engineering, University of Virginia, April 2014, Committee Member.

  3. Doug Blair, M.S. in Computer Science, University of Virginia, December 2000, Thesis Advisor.

  4. Leonid Bolotnyy, M.S. in Computer Science, University of Virginia, August 2005, Thesis Advisor.

  5. Leonid Bolotnyy, Ph.D. in Computer Science, University of Virginia, December 2007, Dissertation Advisor.

  6. Evelyn Brown, Ph.D. in System Science, University of Virginia, May 1996, Committee Member.

  7. Kirti Chawla, Ph.D. in Computer Science, University of Virginia, April 2014, Dissertation Advisor.

  8. Charles Choi, Ph.D. in Electrical Engineering, University of Virginia, January 1997, Committee Member.

  9. Florin Ciucu, Ph.D. in Computer Science, University of Virginia, 2007, Committee Member.

  10. Brett Coryell, M.S. in System Science, University of Virginia, December 1996, Thesis Advisor.

  11. Eric Cota-Robles, M.S. in Computer Science, University of Virginia, December 1994, thesis advisor.

  12. Gabe Ferrer, Ph.D. in Computer Science, University of Virginia, May 2002, Committee Member.

  13. Joe Ganley, Ph.D. in Computer Science, University of Virginia, May 1995, Committee Member.

  14. Rich Gossweiler, Ph.D. in Computer Science, University of Virginia, August 1995, Committee Member.

  15. Chris Helvig, M.S. in Computer Science, University of Virginia, May 1998, Thesis Advisor.

  16. Bill Huang, M.S. in Computer Science, University of Virginia, December 2000, Thesis Advisor.

  17. Jiawei Huang, Ph.D. in Electrical and Computer Engineering, University of Virginia, Spring 2012, Committee Chair.

  18. Lance Hopenwasser, M.S. in Computer Science, University of Virginia, March 1998, Committee Member.

  19. John Karro, Ph.D. in Computer Science, University of Virginia, 2000, Committee Member.

  20. Ryan Layer, Ph.D. in Computer Science, University of Virginia, February 2013, Dissertation Advisor.

  21. Ankit Malhotra, M.S. in Computer Science, University of Virginia, December 2005, Thesis Advisor.

  22. Berni McCoy, M.S. in Computer Science, University of Virginia, December 1993, Thesis Advisor.

  23. Kevin McLaughlin, M.S. in Electrical Engineering, Univ. of Virginia, May 1993, Committee Member.

  24. Sean McCulloch, Ph.D. in Computer Science, University of Virginia, 2002, Committee Member.

  25. Anand Natrajan, Ph.D. in Computer Science, University of Virginia, 1999, Committee Chair.

  26. Karsten Nohl, Ph.D. in Computer Science, University of Virginia, 2008, Committee Chair.

  27. Ramesh Peri, Ph.D. in Computer Science, University of Virginia, October 1995, Committee Member.

  28. David Rasikan, M.S. in Computer Science, University of Virginia, May 1994, Committee Chair.

  29. Brian Robinson, M.S. in Computer Science, University of Virginia, December 1994, thesis advisor.

  30. Mona Sergi, Ph.D. in Computer Science, University of Virginia, December 2012, Committee Chair.

  31. Chih-hao Shen, Ph.D. in Computer Science, University of Virginia, August 2013, Committee Chair.

  32. Bhupinder Singh Sethi, M.S. in Computer Science, University of Virginia, December 1997, Committee Member.

  33. Anish Singh, M.S. in Computer Science, University of Virginia, December 1998, Thesis Advisor.

  34. Ritambhara Singh, M.S. in Computer Science, University of Virginia, November 2014, Thesis Advisor.

  35. John Slovensky, M.S. in Systems Engineering, University of Virginia, December 2012, Committee Member.

  36. Tamim Sookoor, Ph.D. in Computer Science, University of Virginia, May 2012, Committee Member.

  37. Mat Soukup, Ph.D. in Statistics, University of Virginia, July 2004, Committee Member.

  38. Isabelle Stanton, M.S. in Computer Science, University of Virginia, March 2008, Committee Member.

  39. Chris Taylor, Ph.D. in Computer Science, University of Virginia, April 2008, Dissertation Advisor.

  40. Brett Tjaden, Ph.D. in Computer Science, University of Virginia, May 1997, Committee Member.

  41. Glenn Wasson, Ph.D. in Computer Science, University of Virginia, Committee Member.

  42. Dallas Wrege, Ph.D. in Computer Science, University of Virginia, August 1996, Committee Member.

  43. Ting Yan, Ph.D. in Computer Science, University of Virginia, 2006, Committee Member.

  44. Tongtong Zhang, Ph.D. in Computer Science, University of Virginia, 1998, Dissertation Advisor.

Refereeing (conferences)

  1. ACM/IEEE Design Automation Conference

  2. ACM/SIGDA Physical Design Workshop

  3. Canadian Workshop on Field-Programmable Devices

  4. Great Lakes Symposium on VLSI

  5. Hawaiian International Conference on System Sciences

  6. IEEE/ACM International Conference on Computer-Aided Design

  7. IEEE International ASIC Conference

  8. International Conference on Interactive Mobile and Computer Aided Learning

  9. IEEE International Symposium on Circuits and Systems

  10. Italian Conference on Theoretical Computer Science

  11. Latin American Theoretical Informatics Symposium

  12. Symposium on the Principles of Distributed Computing

  13. Undergraduate Research and Design Symposium, University of Virginia

Refereeing (journals)

  1. Journal of Electrical and Computer Engineerings

  2. Informatics

  3. Research Letters in Electronics

  4. ACM Transactions on Design Automation of Electronic Systems

  5. ACM Transactions on Information and System Security

  6. Ad Hoc Networks Journal

  7. Automatica

  8. British Journal of Mathematics & Computer Science

  9. Computer-Aided Design

  10. IEEE Computer Magazine

  11. IEEE Transactions on Circuits and Systems

  12. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  13. IEEE Transactions on Computers

  14. IEEE Transactions on Information Forensics & Security

  15. IEEE Transactions on Robotics and Automation

  16. IEEE Transactions on Software Engineering

  17. IEEE Transactions on Systems, Man, and Cybernetics

  18. Information Processing Letters

  19. Journal of Electrical and Computer Engineering

  20. Journal of VLSI Design

  21. Mathematical and Computer Modelling

  22. Networks: an International Journal

  23. Pattern Recognition Letters

  24. Science

  25. Sensors

  26. The Computer Journal

  27. Theoretical Computer Science

Refereeing (institutions and companies)

  1. Addison-Wesley Publishing Company, Redwood City, CA

  2. Addison-Wesley Longman, Reading, MA

  3. Elsevier

  4. MacMillan Publishing Company, New York, NY

  5. National Science Foundation, Washington, D.C., various panels and grant proposals

  6. Packard Foundation

  7. Springer

Professional Service

  1. Program Committee Member, International Conference on VLSI Design, 2005.

  2. Program Committee Member, International Conference on Embedded systems, 2005.

  3. Technical Session Chair, IEEE International Conference on Electronics, Circuits and Systems, 2004.

  4. Organizing Committee Member, German-American Frontiers of Engineering Symposium (GAFOE), Germany, 2000.

  5. General Chair, ACM/SIGDA Physical Design Workshop, 1996.

  6. Co-Chair (VLSI Track), IEEE International Symposium on Circuits and Systems, 1996.

  7. Technical Program Committee Member, Great Lakes Symposium on VLSI, 1995-1997.

  8. Technical Program Committee Member, Great Lakes Symposium on VLSI, 1998.

  9. Technical Program Committee Member, IEEE International ASIC Conference, 1994-1998.

  10. Technical Program Committee Member, Canadian Workshop on Field-Programmable Devices, 1996.

  11. Technical Program Committee Member, Canadian Workshop on Field-Programmable Devices: Technology, Tools, and Applications, 1998.

  12. Technical Session Moderator at IEEE International Conference on Computer-Aided Design, 1993.

  13. Technical Session Chair at IEEE International ASIC Conference, 1993-1995.

  14. Technical Session Chair at Great Lakes Symposium on VLSI, 1993, 1995.

  15. Technical Session Chair at the International Symposium on Physical Design, 1998.

  16. Co-founder of the International Symposium on Physical Design, 1997.

  17. DARPA MEP2 Kickoff Meeting on ATR Briefings and Compact Radar Tour, National Ground Intelligence Center, September 1999.

  18. DDR&E/IDA: Participant, Panel 5: Information, Workshop on Advanced Technologies and Future Joint War Fighting, April 8-10, 1999.

  19. Study participant, Naval Studies Board, Technology for the United States Navy and Marine Corps, 2000-2035 Becoming a 21st-Century Force - Volume 9 - Modeling and Simulation Panel, 1996-1997.

  20. Panel participant, Interagency Requirements for Regional Stability/Capacity Building Research and Development, White House Office of Science and Technology Policy, U.S. Department of State, and U.S. Department of Defense, Washington D.C., December 2004.

University Service

  1. Served as Ombudsman for the graduate students, 2015-present.

  2. Served on the CS Fasculty Hiring Committee 2014-2015.

  3. Served on the SEAS interdisciplinary faculty recruiting committee, 2014-present.

  4. Chair of the Systems Committee, Department of Computer Science, University of Virginia, 2012-present.

  5. Member of the School of Engineering Peer-Review Committee (for the Electrical and Computer Engineering Department), 2014-2015.

  6. Member of the Computer Science Department Space and Resources Committee, 2013-present.

  7. Encouraged numerous students to take massive online courses (MOOCs), watch selected TED talks, and pursue other online educational resources.

  8. Advised the Chair and colleagues on various strategic issues, 1996-present.

  9. Organized highly-attended lab demos for SEAS / CS Open House events, 1998-present.

  10. Inaugurated the Weekly Theory Lunch (and personally help financed the food cost), 2012-present.

  11. Wrote recommendation letters for numerous students and mentored them into top schools, 1992-present.

  12. Member of the School of Engineering Web Committee, University of Virginia, 2007-2009.

  13. Member of the School of Engineering Promotion and Tenure Committee, University of Virginia, 2004-2007.

  14. Member of the Faculty Senate, University of Virginia, 1999-2002.

  15. Member of the School of Engineering Faculty Council, 1999-2002.

  16. Member of the Faculty Forum for Scientific Research, 1999-2002.

  17. Member of the Research Computing & Information Technology Task Force, 2000-2001.

  18. Member of the Research and Scholarship Committee, University of Virginia, 1999-2002.

  19. Member of the Awards Committee, School of Engineering and Applied Science, 2001-2003.

  20. Systems Committee, Department of Computer Science, University of Virginia, 2010-2011.

  21. Created the Graduate Student Handbook, Department of Computer Science, University of Virginia, 2010-2011.

  22. Publicity Czar, Department of Computer Science, University of Virginia, 1997-2001.

  23. Member of the Graduate Curriculum Committee, Department of Computer Science, University of Virginia, 1999-2001.

  24. Chair of the Outreach Committee, Department of Computer Science, University of Virginia, 2004.

  25. Member of the Outreach Committee, Department of Computer Science, University of Virginia, 2005-2008.

  26. Chair of the CS Graduate Admissions Committee, 2001-2002.

  27. Member of the CS Graduate Admissions Committee, 2004-2008, 2013-present.

  28. Founded and managed the CS Web Team, a multi-faceted support group which assisted numerous faculty, administrators, offices, and institutions with various Web-related work, 1994-2001, and 2005-2009.

  29. Created and improved the CS Lounge at the UVa Department of Computer Science, including the acquisition and setup of a self-sustaining food and beverage service, and various games/puzzles, 1998-present.

  30. Produced the new Department of Computer Science Brochure, 1998.

  31. Updated the Department of Computer Science Brochure, 2000; this brochure was distributed to all computer science departments in the world (over 1000 departments), as well as to selected deans and CS faculty world-wide (over 5,000 copies of this brochure were mailed out in all).

  32. Purchased a large-format poster printer for the Computer Science Department.

  33. Created set of posters describing the Department of Computer Science, 1998; created updated versions in 2000 and 2006.

  34. Started a "poster drive" around the School of Engineering; other departments are now producing hallway posters based on the style and format originated by me.

  35. Member of the UVa Network-Based Information Services Committee.

  36. Member of SEAS Committee on Computing Environment, 1995-1996.

  37. Chair of the SEAS Dean's Research Advisory Committee, 1997-1999.

  38. Member of the SEAS Dean's Research Advisory Committee, 1996-2001.

  39. Member of the SEAS Media Program, 1998-present.

  40. Member of the Dean's Reappointment Committee, 1998.

  41. Served on the Seven Society Outstanding Teaching Fellow selection committee, March 1998.

  42. Served as judge for Best Web Site of 1998 contest, UVa, March 1998.

  43. Member of the SEAS Promotion and Tenure Review Committee, which rewrote the SEAS Promotion and Tenure Guidelines, 1997-1998.

  44. Helped UVa's Teaching Resource Center to organize teaching workshops and create a new university-wide mentoring program for junior faculty.

  45. Helped organize the March 1998 SEAS/NSF Teaching Workshop.

  46. Produced minutes for the UVa Department of Computer Science weekly faculty meetings (1992-1993).

  47. Organized and maintained a student kudos board/display, Department of Computer Science, UVa, 1992 to 2001.

  48. In charge of New Student Orientation Seminar (CS696), UVa Department of Computer Science, 1993, 1996, 1997, 1998, 1999, 2000.

  49. Represented the UVa Department of Computer Science at "Day on the Lawn", Spring 1994.

  50. Represented the UVa Department of Computer Science at "Career Day", September 28, 1994.

  51. Represented the UVa Department of Computer Science at "SEAS Open House" and "CS Day", February 2006.

  52. Chaired the UVa Department of Computer Science Ph.D. qualifying orals committee, 2007.

  53. Served on the UVa Department of Computer Science Ph.D. qualifying orals committee, 1993-present.

  54. Contributed questions for Department of Computer Science Ph.D. qualifying exams, 1992-present.

  55. Participated in panel discussion on graduate schools for the local ACM Chapter, September 26, 1994.

  56. Represented the UVa Department of Computer Science at "Parents Day", October 29, 1994.

  57. Designed, implemented, and maintained Web site for Department of Computer Science, Uva, 1994-2009.

  58. Implemented a major redesign and update of the Department of Computer Science Web site, UVa, 2006.

  59. Designed, created and maintained Web pages for the UVa School of Engineering, 1995-2000.

  60. Created and maintained Web home page for the UVa Office of the Vice Provost for Research, 1997-2000.

  61. Speaker at VCIT's Technology Focus Symposium, UVa, June 1 1995.

  62. Met with Prof. Ed Feigenbaum (Chief Scientist of the Air Force) regarding future technology issues, May 1995.

  63. Met with committee of four visiting deans, May 11, 1995.

  64. Represented the UVa Department of Computer Science at "Parents Day", August 26, 1995.

  65. Represented the UVa Department of Computer Science, September 1, 1995.

  66. Met with Dean's representative on strategic planning, September, 1995.

  67. SEAS Undergraduate Research Symposium Committee, 1995-1997.

  68. Computer Science Department Chair Search Committee, 1995-1996.

  69. Met with ACM Student Chapter members, October 20, 1995.

  70. Met with ARCS Foundation members, October 21, 1995.

  71. Poster presentation for IBM visiting committee, October 23, 1995.

  72. Met with Associate Deans regarding improving the teaching infrastructure, October 30, 1995.

  73. Member of the New Computer Science Building Committee, 1995-2001.

  74. In charge of Distinguished Speakers Colloquia, UVa Department of Computer Science at the SEAS Picnic, 1995-1996.

  75. Represented the UVa School of Engineering and spoke at "Day on the Lawn", April 1997.

  76. Represented the UVa Department of Computer Science at graduation ceremony at the Rotunda, December 6, 1997.

  77. Organized a Web design contest for the Virginia Engineering Foundation, 1997-1998.

  78. Organized a CS Design Contest for CS Department T-shirts, coffee mugs, and logo, 1998.

  79. Founded a CS Department-wide hallway poster drive, 1996 to present.

  80. Helped organize the School of Engineering Research Retreat (at the Homestead, VA), March 1997.

  81. Founded the CS Department Computer Museum (both Web-version and physical artifacts version), 1995 to present.

  82. Mentored a number of junior faculty around SEAS and the University.

  83. Helped several UVa faculty win Packard Fellowships.

  84. Created a new Web site for the Packard Foundation.

  85. Co-founded Tea Time at the Department of Computer Science, 1996 to present.

  86. Gave Web presentation to the Virginia Engineering Foundation Board of Directors, May 2, 1997.

  87. Gave a talk at the Virginia Engineering Foundation Board of Directors meeting, January 30, 1998.

  88. Gave a presentation to the Dean's Research Advisory Committee, September 18, 1998.

  89. Spoke at the VEF Awards Luncheon, Virginia Engineering Foundation, May 3, 1997.

  90. Gave a talk at the Virginia Engineering Foundation Board of Directors meeting, October 2, 1998.

  91. Invited speaker at the UVa Teaching Resource Center Retreat, September 20, 1997.

  92. Invited panel speaker, "What You Need to Know to be Successful in Research: What I wish I'd Known Sooner", workshop sponsored by the Office of the Vice Provost, UVa, January 9, 1998.

  93. Refereed Packard Foundation pre-proposals for Vice Provost and helped select each year's Packard nominees, 1996-present.

  94. Coached UVa Computer Science Ph.D. students in preparation for Qualifying Exams, 1994-present.

  95. Volunteered to teach ballroom dancing to students and individuals (including underrepresented minorities).

Public Service

  1. Organized a site visit for a large group of Scouts to the UVa Computer Museum (which I also created and am curating).

  2. Met and hosted a number of visitors to our department and School (including many potential students and their families).

  3. Judge for the "Dancing with the Professors" event, UVa Ballroom Club, University of Virginia, April 2014-2015.

  4. Mentored gifted children, as well as underrepresented groups, including women in engineering, 1992-present.

  5. Organized visit and "Time Management" lecture by Randy Pausch, Nov 2007.

  6. Maintaining the Randy Pausch Legacy Web site, 2007 to present

  7. Hosted site visit of 40 high school students from Virginia's Governor's School, December 2003.

  8. Hosted site visit of 20 high school students from Virginia's Governor's School, May 2004.

Courses Taught

  1. Analysis of Algorithms (CS6161), Fall 2011, Fall 2014, Computer Science Department, UVa.

  2. Theory of Computation (CS6160), Fall 2012, Computer Science Department, UVa.

  3. Theory of Computation (CS3102), Spring 2011, Spring 2012, Spring 2013, Spring 2014, Computer Science Department, UVa.

  4. Graduate Student Orientation (CS696), Fall 1993, 1996, 1997, 1998, 1999, 2000, Computer Science Department, UVa.

  5. Computational Geometry (CS860), Fall 1997, Computer Science Department, UVa.

  6. Undergraduate Research Seminar (CS491), Spring 1997, Computer Science Department, UVa.

  7. Discrete Mathematics 1 (CS202), Fall 1995, 2002, Spring 2004, Computer Science Department, UVa.

  8. Discrete Mathematics 2 (CS302), Spring 2006, Computer Science Department, UVa.

  9. Algorithms (CS332), Spring 1995, Computer Science Department, UVa.

  10. Algorithms (CS432), Fall 2006, Computer Science Department, UVa.

  11. Foundations of Computer Science (CS551), Fall 1992, Computer Science Department, UVa.

  12. Theoretical Computer Science (CS660), Fall 1994, Fall 1996, Fall 1998, Fall 1999, Spring 2001, Spring 2002, Spring 2005, Fall 2007, Computer Science Department, UVa.

  13. Analysis of Algorithms (CS661), Fall 1993, Spring 1996, Spring 1997, Spring 1998, Spring 1999, Spring 2000, Fall 2000, Fall 2004, Fall 2005, Spring 2007, Spring 2008, Computer Science Department, UVa.

  14. VLSI CAD (CS851), Spring 1994, Computer Science Department, UVa.

  15. Advanced Topics in Computer Science Theory (CS851), Fall 2001, Computer Science Department, UVa.

  16. Geometric Algorithms (CS851), Spring 1992, Computer Science Department, UVa.

  17. Algorithms and Problem Solving (CS180), Spring 1991, Computer Science Department, UCLA.

  18. Computational Geometry (CS217), Computer Science Department, 1988, UCLA.

  19. Automata Theory and Formal Languages (CS181), 1987-1990, Computer Science Department, UCLA.

  20. Programming Using Pascal, 1983-1984, Computer Science Department, Princeton University.

  21. Problem Solving With APL, 1980-1981, Emek High School, Los Angeles.

Computer Languages

  1. HTML
  2. C
  3. C++
  4. Java
  5. JavaScript
  6. PHP
  7. Pascal
  8. Common LISP
  9. Interlisp-D
  10. Fortran 66
  11. Fortran 77
  12. APL
  13. Prolog
  14. Basic
  15. COBOL
  16. Assembly
  17. Algol 68
  18. PL/I
  19. FP
  20. Miranda
  21. MIX
  22. IBM JCL
  23. SQL

Operating Systems / Environments

  1. UNIX
  2. Linux
  3. Windows 95 / 98
  4. Windows NT / 2000
  5. Windows Vista / XP / 7 / 8
  6. X-Windows
  7. Apple Lisa
  8. Apple MacIntosh
  9. IBM TSO
  10. IBM OS360
  11. IBM OS370
  12. TOPS-20
  13. Xerox Alto
  14. Xerox Interlisp-D
  15. Xerox Star
  16. Symbolics 3600

Hardware Platforms

  1. PC (Dell, IBM, HP)
  2. SUN Workstations
  3. Apple MacIntosh
  4. Apple Lisa
  5. PDP11
  6. Vax 11/750
  7. Vax 11/780
  8. TI Professional PC
  9. Symbolics 3600
  10. Xerox Dolphin (1108)
  11. Xerox 530 mainframe
  12. TI Explorer
  13. HP Bobcat
  14. IBM 360
  15. IBM 370
  16. Cray XMP

Hobbies and Interests

Ballroom dancing, SCUBA diving, comic books, archery, roller skating, skiing, gardening, photography, films, and martial arts.
Return to Gabriel Robins' home page
EMail to EMail to robins@cs.virginia.edu