Merge pull request #49 from lf-lang/users

Adding institutions and courses using embedded systems labs.

Author: hokeun

src/Institutions.md

@@ -0,0 +1,13 @@
+# Institutions Using the Labs
+
+The embedded systems labs with [Lingua Franca](https://www.lf-lang.org/) have been used by various courses at institutions around the world, including the following (listed alphabetically):
+
+- **Arizona State University, United States** — *CSE 522: Real-Time Embedded Systems*
+- **Southern Illinois University, United States** — *ECE 424/540: Design of Embedded Systems*
+- **University of California, Berkeley, United States** — *EECS 149/249A: Introduction to Embedded and Cyber Physical Systems*
+- **University of Manouba, Tunisia** — *ESDV.5.4: Cyber-Physical Systems, ESEP.5.3: Cyber-Physical Systems*
+- **University of Maryland, United States** — *ENEB452: Advanced Software for Connected Embedded Systems*
+- **University of Michigan-Dearborn, United States** — *ME 472: Principles and Applications of Mechatronic Systems, ECE 566 / ME 565: Mechatronics*
+
+If your institution is using the embedded systems labs but is not listed here, please email [Hokeun Kim](https://hokeun.github.io) ([hokeun@asu.edu](mailto:hokeun@asu.edu)) with your course information, or submit a [pull request](https://github.com/lf-lang/embedded-lab/pulls) to add your course information.
+

src/README.md

@@ -8,6 +8,10 @@ The C code runs on a [Raspberry Pi RP2040](https://en.wikipedia.org/wiki/RP2040)
 on the [Pololu 3pi+ 2040 robot](https://www.pololu.com/docs/0J86). 
 The same RP2040 microprocessor is also available on the low-cost [Raspberry Pi Pico board](https://en.wikipedia.org/wiki/Raspberry_Pi#Raspberry_Pi_Pico), but this board does not have the sensors and actuators of the Pololu robot, so you will need the robot to be able to complete all the exercises.
 
+## Institutions Using the Labs
+
+The embedded systems labs are used by institutions across the world for their courses in a variety of disciplines, including computer science, computer engineering, electrical engineering, and mechnical engineering. For the list of institutions using these labs, see [Institutions Using the Labs](./Institutions.md).
+
 ## Contributing
 You can find the Markdown sources of these labs on [GitHub](https://github.com/lf-lang/embedded-lab). If you discover any problems, please consider creating an [issue](https://github.com/lf-lang/embedded-lab/issues) or submitting a [pull request](https://github.com/lf-lang/embedded-lab/pulls).
 

src/SUMMARY.md

@@ -33,3 +33,7 @@
 [Notes for Windows Users](./Windows.md)
 
 [Notes for Instructors](./Instructors.md)
+
+---
+
+[Institutions Using the Labs](./Institutions.md)