The Frontiers in Design Representation (FinDeR) Summer School is a series of yearly summer programs for Graduate Students in Engineering focused on exploring emerging mathematical, statistical, or computing foundations for how we represent Engineering Design. Hosted by the Department of Mechanical Engineering at the University of Maryland, College Park, and funded by the National Science Foundation (via CMMI-1936730) and UMD’s Department of Mechanical Engineering, these Summer Schools are designed to introduce graduate students working in the Design research area to new and emerging mathematical, statistical, or computational techniques beyond what is typically covered in graduate-level coursework, and to help bridge conceptual and linguistic barriers and academic networks between different fields. This means that the target students are those enrolled in a technically-oriented graduate program. While this typically means an Engineering department, students from related technical areas outside of Engineering such as Architecture, Computer Science, Mathematics, Statistics, Physics, or other similar or interdisciplinary areas are more than welcome if their interests align with Engineering Design or Design more broadly.

For the 2023 summer school, the topic is Designs as Programs – Induction, Analysis, and Generation. It will introduce Engineering Design graduate students to some of the advances from the fields of Formal Methods (Static Analysis, SMT Solvers, Applied Category Theory) and Machine Learning (Program Induction, Transformer models) that mathematicians and computer scientists use to construct/compile new programs or systems, and verify their correctness. While typically applied to software or integrated circuit designs, such techniques have broad ranging relevance to many types of Engineering Design problems, and students will have opportunities to apply these representations and techniques to provided engineering design challenge problems during the summer school.

For any further questions or inquiries about the Summer School not mentioned elsewhere on this website, you can reach out to Dr. Mark Fuge at fuge@umd.edu.

Outcomes

Students who attend the Summer School will:

1. Learn new techniques from the broader intersection of Formal Methods and Machine Learning, including concepts like Static Analysis (e.g., how do you analyze a system diagram to detect side effects or input behavior that will break the design) and Program Induction (e.g., learning how to generate programs using tools like Language Models or SMT Solvers).
2. Gain hands-on practice with these skills via relevant real-world Engineering Design challenge problems of various complexity that were provided, supported, or reviewed by industrial partners and federal agencies. They will leave the summer school with a concrete demonstration, and set of algorithms and datasets that they can compare to the State of the Art and build upon in their later research careers.
3. Make new life-long friends and build networks with other researchers and mentors in a supportive and inclusive environment, while exploring the wider Washington, DC metro region.
4. Practice their communication skills via an end-of-week final presentation, along with optional opportunities to present their graduate work in a poster session and contribute to later publishable outcomes from the summer school efforts.

To Apply

See the dedicated application page which also provides information on possible travel stipends for students. We particularly encourage students from underrepresented groups to apply.

Presenting Current Research at a Networking Poster Session Graduate Researchers with currently funded research projects will be able to present and disseminate some of their ongoing work at a Poster Session as part of the networking events at the summer school. This may advance the dissemination of your funded research and spur new conversations about how the Summer School topics might extend that work. Further information on the poster session and submission is available on the Poster Session page.

Past Summer Schools and Testimonials

This year’s summer school mirrors the format of last year’s FinDeR summer school, although with new techniques. You can review student comments/testimonials, past pictures, and also get an approximate sense of what to expect in the page with information on past FinDeR Summer Schools.