31.10.2012 Views

Jonathan Sprinkle, Ph.D. - Department of Electrical an Computer ...

Jonathan Sprinkle, Ph.D. - Department of Electrical an Computer ...

Jonathan Sprinkle, Ph.D. - Department of Electrical an Computer ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

<strong>Ph</strong>.D. 2003<br />

Assist<strong>an</strong>t Pr<strong>of</strong>essor<br />

<strong>Electrical</strong> <strong>an</strong>d <strong>Computer</strong> Engineering<br />

University <strong>of</strong> Arizona<br />

ECE 456N<br />

PO Box 210104<br />

Tucson, AZ 85721-0104<br />

tel: +1 520 626 0737<br />

mob: +1 510 914 1460<br />

sprinkle@ECE.Arizona.Edu<br />

http://www.ece.arizona.edu/~sprinkle<br />

Education<br />

Doctor <strong>of</strong> <strong>Ph</strong>ilosophy in <strong>Electrical</strong> Engineering<br />

V<strong>an</strong>derbilt University<br />

· Dissertation: Metamodel Driven Model Migration<br />

· Committee:<br />

– Gábor Karsai (Chair)<br />

– Ákos Lédeczi<br />

– Greg Nordstrom<br />

– Doug Schmidt<br />

– J<strong>an</strong>os Sztip<strong>an</strong>ovits<br />

M.Sc. Master <strong>of</strong> Science in <strong>Electrical</strong> Engineering<br />

2000 V<strong>an</strong>derbilt University<br />

B.S. 1999<br />

· Thesis: Model-Integrated Program Synthesis <strong>of</strong> Agent Negotiation Protocols<br />

· Readers:<br />

– Gábor Karsai<br />

– Ted Bapty<br />

Bachelor <strong>of</strong> Science in <strong>Electrical</strong> Engineering<br />

Tennessee Technological University<br />

cum laude, in cursu honorum<br />

Majors: <strong>Computer</strong> Engineering <strong>an</strong>d <strong>Electrical</strong> Engineering<br />

Minor: Mathematics


8/2007—<br />

Assit<strong>an</strong>t Pr<strong>of</strong>essor<br />

Employment History<br />

University <strong>of</strong> Arizona (http://www.arizona.edu/)<br />

<strong>Department</strong> <strong>of</strong> <strong>Electrical</strong> <strong>an</strong>d <strong>Computer</strong> Engineering (http://www.ece.arizona.edu/)<br />

IN PRESS<br />

9/2005— Executive Director<br />

6/2007 Center for Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware Systems—Chess (http://chess.eecs.berkeley.edu/)<br />

<strong>Department</strong> <strong>of</strong> <strong>Electrical</strong> Engineering <strong>an</strong>d <strong>Computer</strong> Sciences (http://www.eecs.berkeley.edu/)<br />

University <strong>of</strong> California, Berkeley (http://www.berkeley.edu/)<br />

9/2003— Visiting Postdoc<br />

8/2007 <strong>Department</strong> <strong>of</strong> <strong>Electrical</strong> Engineering <strong>an</strong>d <strong>Computer</strong> Sciences (http://www.eecs.berkeley.edu/)<br />

University <strong>of</strong> California, Berkeley (http://www.berkeley.edu/)<br />

7/1999– Research Assist<strong>an</strong>t<br />

8/2003 Institute for S<strong>of</strong>tware Integrated Systems (http://www.isis.v<strong>an</strong>derbilt.edu/)<br />

V<strong>an</strong>derbilt University (http://www.v<strong>an</strong>derbilt.edu/)<br />

Selected Publications<br />

For a full listing <strong>of</strong> papers, please visit my website.<br />

In Press<br />

[1] J. Ding, J. <strong>Sprinkle</strong>, C. Tomlin, S. S. Sastry, <strong>an</strong>d J. L. Paunicka, “Reachability calculations<br />

for vehicle safety during m<strong>an</strong>ned/unm<strong>an</strong>ned vehicle interaction,” AIAA Journal <strong>of</strong> Guid<strong>an</strong>ce,<br />

Control, <strong>an</strong>d Dynamics, vol. tbd, no. tbd, p. (in press), 2011. [Online]. Available:<br />

http://dx.doi.org/10.2514/1.53706<br />

[2] J. <strong>Sprinkle</strong> <strong>an</strong>d B. Eames, “On the mitigation <strong>of</strong> multicore-induced behavioral deviations <strong>of</strong> <strong>an</strong><br />

autonomous ground vehicle,” in Proceedings <strong>of</strong> the 18th IEEE International Conference <strong>an</strong>d<br />

Workshops on Engineering <strong>of</strong> <strong>Computer</strong>-Based Systems. IEEE, 2011, pp. 159–168. [Online].<br />

Available: http://dx.doi.org/10.1109/ECBS.2011.29<br />

[3] J. M. Eklund, J. <strong>Sprinkle</strong>, <strong>an</strong>d S. S. Sastry, “Switched <strong>an</strong>d Symmetric Pursuit/Evasion<br />

Games With Online Model Predictive Control,” IEEE Tr<strong>an</strong>sactions on Control Systems<br />

Technology, vol. (tbd), p. (in press), 2011, [Available online]. [Online]. Available:<br />

http://dx.doi.org/10.1109/TCST.2011.2136435<br />

2


JOURNALS AND MAGAZINES<br />

[4] S. Mahadev<strong>an</strong>, V. Gopinath, R. Lysecky, J. <strong>Sprinkle</strong>, J. Rozenblit, <strong>an</strong>d M. Marcellin,<br />

“Hardware/s<strong>of</strong>tware communication middleware for data adaptable embedded systems,” in<br />

Proceedings <strong>of</strong> the 18th IEEE International Conference <strong>an</strong>d Workshops on Engineering <strong>of</strong><br />

<strong>Computer</strong>-Based Systems. IEEE <strong>Computer</strong> Society Press, 2011, pp. 34–43. [Online]. Available:<br />

http://dx.doi.org/10.1109/ECBS.2011.12<br />

[5] A. Milakovich, V. S. Gopinath, R. Lysecky, <strong>an</strong>d J. <strong>Sprinkle</strong>, “Automated s<strong>of</strong>tware generation <strong>an</strong>d<br />

hardware coprocessor synthesis for data- adaptable reconfigurable systems,” in 3rd Workshop on<br />

Adaptive <strong>an</strong>d Reconfigurable Embedded Systems (APRES 2011), April 2011, p. (accepted).<br />

[6] B. Meyers, M. Wimmer, A. Cicchetti, <strong>an</strong>d J. <strong>Sprinkle</strong>, “A generic in-place tr<strong>an</strong>sformationbased<br />

approach to structured model co-evolution,” Electronic Communications <strong>of</strong> the Europe<strong>an</strong><br />

Association <strong>of</strong> S<strong>of</strong>tware Science <strong>an</strong>d Technology (EASST), p. (in press), TBD 2011.<br />

Journals <strong>an</strong>d Magazines<br />

[7] J. <strong>Sprinkle</strong> <strong>an</strong>d B. Eames, “Time-triggered buffers for event-based middleware systems,”<br />

Innovations in Systems <strong>an</strong>d S<strong>of</strong>tware Engineering, vol. 7, no. 1, pp. 9–22, 2011. [Online].<br />

Available: http://dx.doi.org/10.1007/s11334-010-0139-7<br />

[8] D. Chu, J. <strong>Sprinkle</strong>, R. R<strong>an</strong>dall, <strong>an</strong>d S. Shkarayev, “Simulations <strong>an</strong>d flight experiments<br />

<strong>of</strong> tr<strong>an</strong>sition m<strong>an</strong>euvers <strong>of</strong> a VTOL micro air vehicle,” International Journal <strong>of</strong> Micro<br />

Air Vehicles, vol. 2, no. 2, pp. 69–89, June 2010, ISSN 1756-8293. [Online]. Available:<br />

http://dx.doi.org/10.1260/1756-8293.2.2.69<br />

[9] J. <strong>Sprinkle</strong>, J. M. Eklund, H. Gonzalez, E. I. Grøtli, B. Upcr<strong>of</strong>t, A. Makarenko, W. Uther,<br />

M. Moser, R. Fitch, H. Durr<strong>an</strong>t-Whyte, <strong>an</strong>d S. S. Sastry, “Model-based design: a report from<br />

the trenches <strong>of</strong> the DARPA urb<strong>an</strong> challenge,” S<strong>of</strong>tware <strong>an</strong>d Systems Modeling, vol. 8, no. 4, pp.<br />

551–566, September 2009. [Online]. Available: http://dx.doi.org/10.1007/s10270-009-0116-5<br />

[10] J. <strong>Sprinkle</strong>, M. Mernik, J.-P. Tolv<strong>an</strong>en, <strong>an</strong>d D. Spinellis, “Guest editors’ introduction: What<br />

kinds <strong>of</strong> nails need a domain-specific hammer?” IEEE S<strong>of</strong>tware, vol. 26, no. 4, pp. 15–18,<br />

2009. [Online]. Available: http://dx.doi.org/10.1109/MS.2009.92<br />

[11] A. Schuster <strong>an</strong>d J. <strong>Sprinkle</strong>, “Synthesizing executable simulations from structural models<br />

<strong>of</strong> component-based systems,” Electronic Communications <strong>of</strong> the Europe<strong>an</strong> Association <strong>of</strong><br />

S<strong>of</strong>tware Science <strong>an</strong>d Technology (EASST), vol. 21, p. 10 pages, 2009, ISSN 1863-2122.<br />

[Online]. Available: http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/289/280<br />

[12] J. <strong>Sprinkle</strong>, “Generative components for hybrid systems tools,” Journal <strong>of</strong> Object Technology,<br />

vol. 4, no. 3, pp. 35–40, April 2005, Special Issue from GPCE Young Researchers Workshop.<br />

[Online]. Available: http://www.jot.fm/issues/issue 2005 04/article5<br />

[13] J. <strong>Sprinkle</strong>, A. D. Ames, J. M. Eklund, I. Mitchell, <strong>an</strong>d S. S. Sastry, “Online safety calculations<br />

for glideslope recapture,” Innovations in Systems <strong>an</strong>d S<strong>of</strong>tware Engineering, vol. 1, no. 2, pp.<br />

157–175, September 2005. [Online]. Available: http://dx.doi.org/10.1007/s11334-005-0017-x<br />

[14] J. <strong>Sprinkle</strong>, “Model-integrated computing,” IEEE Potentials, vol. 23, no. 1, pp. 28–30,<br />

February 2004. [Online]. Available: http://dx.doi.org/10.1109/MP.2004.1266937<br />

[15] J. <strong>Sprinkle</strong> <strong>an</strong>d G. Karsai, “A domain-specific visual l<strong>an</strong>guage for domain model evolution,”<br />

Journal <strong>of</strong> Visual L<strong>an</strong>guages <strong>an</strong>d Computing, vol. 15, no. 3-4, pp. 291–307, June<br />

2004, special Issue: Domain-Specific Modeling with Visual L<strong>an</strong>guages. [Online]. Available:<br />

http://dx.doi.org/10.1016/j.jvlc.2004.01.006<br />

3


PEER REVIEWED CONFERENCE PAPERS<br />

[16] S. Nordstrom, S. Shetty, K. G. Chhokra, J. <strong>Sprinkle</strong>, B. Eames, <strong>an</strong>d Ákos Lédeczi, “Anemic:<br />

Automatic interface enabler for model integrated computing,” Lecture Notes in <strong>Computer</strong><br />

Science, vol. 2830, pp. 138–150, November 2003, iSBN: 3-540-20102-5. [Online]. Available:<br />

http://dx.doi.org/10.1007/978-3-540-39815-8 9<br />

[17] G. Karsai, A. Agrawal, F. Shi, <strong>an</strong>d J. <strong>Sprinkle</strong>, “On the use <strong>of</strong> graph tr<strong>an</strong>sformation<br />

in the formal specification <strong>of</strong> model interpreters,” Journal <strong>of</strong> Universal <strong>Computer</strong><br />

Science, vol. 9, no. 11, pp. 1296–1321, November 2003. [Online]. Available: http:<br />

//www.jucs.org/jucs 9 11/on the use <strong>of</strong>/Karsai G.pdf<br />

[18]<br />

Ákos Lédeczi, Árpad Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. <strong>Sprinkle</strong>, <strong>an</strong>d G. Karsai,<br />

“Composing domain-specific design environments,” IEEE <strong>Computer</strong>, vol. 34, no. 11, pp. 44–51,<br />

November 2001. [Online]. Available: http://dx.doi.org/10.1109/2.963443<br />

Proceedings<br />

[19] M. Rossi, J.-P. Tolv<strong>an</strong>en, J. <strong>Sprinkle</strong>, <strong>an</strong>d S. Kelly, Eds., 10th Workshop on Domain-Specific<br />

Modeling (DSM’10), OOPSLA/SPLASH. Aalto University School <strong>of</strong> Economics, B-120, Aalto-<br />

Print, October 2010, ISBN: 978-952-60-1043-4.<br />

[20] M. Rossi, J. <strong>Sprinkle</strong>, J. Gray, <strong>an</strong>d J.-P. Tolv<strong>an</strong>en, Eds., 9th OOPSLA Workshop on<br />

Domain-Specific Modeling (DSM’09), OOPSLA. Helsinki School <strong>of</strong> Economics, October 2009,<br />

iSBN: 978-952-488-371-9. [Online]. Available: http://hsepubl.lib.hse.fi/FI/publ/hse/b108<br />

[21] J. Gray, J. <strong>Sprinkle</strong>, M. Rossi, <strong>an</strong>d J.-P. Tolv<strong>an</strong>en, Eds., 8th OOPSLA Workshop on<br />

Domain-Specific Modeling (DSM’08), OOPSLA. University <strong>of</strong> Alabama at Birmingham,<br />

October 2008, ISBN: 978-0-61523-024-5. [Online]. Available: http://www.dsmforum.org/<br />

events/DSM08/Papers/DSM08-proceedings.pdf<br />

[22] J. <strong>Sprinkle</strong>, J. Gray, M. Rossi, <strong>an</strong>d J.-P. Tolv<strong>an</strong>en, Eds., 7th OOPSLA Workshop on<br />

Domain-Specific Modeling (DSM’07), OOPSLA. Jyväskylä, Finl<strong>an</strong>d: University <strong>of</strong> Jyväskylä,<br />

October 2007, iSBN: 978-951-39-2915-2. [Online]. Available: http://www.dsmforum.org/<br />

events/DSM07/Papers.html<br />

Peer Reviewed Conference Papers<br />

[23] J. <strong>Sprinkle</strong> <strong>an</strong>d D. Chu, “Modeling l<strong>an</strong>guages applied to decision controllers for embedded<br />

hum<strong>an</strong> systems,” in Seventh IEEE International Conference <strong>an</strong>d Workshops on Engineering<br />

<strong>of</strong> Autonomic <strong>an</strong>d Autonomous Systems (EAsE 2010). IEEE, March 2010, pp. 129–136.<br />

[Online]. Available: http://dx.doi.org/10.1109/EASe.2010.24<br />

[24] H. Al-Helal <strong>an</strong>d J. <strong>Sprinkle</strong>, “UAV search : Maximizing target acquisition,” in 17th IEEE<br />

Conference on the Engineering <strong>of</strong> <strong>Computer</strong> Based Systems. IEEE, March 2010, pp. 9–19.<br />

[Online]. Available: http://dx.doi.org/10.1109/ECBS.2010.9<br />

[25] D. Chu, J. <strong>Sprinkle</strong>, R. R<strong>an</strong>dall, <strong>an</strong>d S. Shkarayev, “Automatic control <strong>of</strong> VTOL micro<br />

air vehicle during tr<strong>an</strong>sition m<strong>an</strong>euver,” in AIAA Guid<strong>an</strong>ce, Navigation <strong>an</strong>d Control<br />

Conference. AIAA, August 2009, p. 16 pages, AIAA-2009-5875. [Online]. Available:<br />

http://pdf.aiaa.org/preview/CDReadyMGNC09 1998/PV2009 5875.pdf<br />

4


PEER REVIEWED CONFERENCE PAPERS PEER REVIEWED CONFERENCE PAPERS<br />

[26] J. Gulotta, D. Chu, X. Yu, H. Al-Helal, T. Patki, J. H<strong>an</strong>sen, M. Hudson, <strong>an</strong>d<br />

J. <strong>Sprinkle</strong>, “Using integrative models in <strong>an</strong> adv<strong>an</strong>ced heterogeneous system simulation,”<br />

in IEEE International Conference on the Engineering <strong>of</strong> <strong>Computer</strong>-Based Systems. Los<br />

Alamitos, CA, USA: IEEE <strong>Computer</strong> Society, 2009, pp. 3–10. [Online]. Available:<br />

http://doi.ieeecomputersociety.org/10.1109/ECBS.2009.42<br />

[27] J. Ding, J. <strong>Sprinkle</strong>, S. S. Sastry, <strong>an</strong>d C. J. Tomlin, “Reachability calculations for automated<br />

aerial refueling,” in 47th IEEE Conference on Decision <strong>an</strong>d Control, December 2008, pp.<br />

3706–3712. [Online]. Available: http://dx.doi.org/10.1109/CDC.2008.4738998<br />

[28] H. Gonzalez, E. I. Grøtli, T. R. Templeton, J. O. Biermeyer, J. <strong>Sprinkle</strong>, <strong>an</strong>d S. S. Sastry,<br />

“Tr<strong>an</strong>sitioning control <strong>an</strong>d sensing technologies from fully-autonomous driving to driver assist<strong>an</strong>ce<br />

systems,” in AAET: Automation, Assist<strong>an</strong>ce, <strong>an</strong>d Embedded Systems for Tr<strong>an</strong>sportation.<br />

Technical University, Braunschweig, February 13–14 2008.<br />

[29] T. H<strong>an</strong>sen, J. Eklund, J. <strong>Sprinkle</strong>, R. Bajcsy, <strong>an</strong>d S. Sastry, “Using smart sensors <strong>an</strong>d a camera<br />

phone to detect <strong>an</strong>d verify the fall <strong>of</strong> elderly persons,” in 3rd Europe<strong>an</strong> Medicine, Biology <strong>an</strong>d<br />

Engineering Conference, 2005.<br />

[30] J. M. Eklund, T. R. H<strong>an</strong>sen, J. <strong>Sprinkle</strong>, <strong>an</strong>d S. S. Sastry, “Information technology for<br />

assisted living at home: Building a wireless infrastructure for assisted living,” in 27th Annual<br />

International Conference <strong>of</strong> the IEEE Engineering In Medicine <strong>an</strong>d Biology Society (EMBS),<br />

ser. Innovation from Biomolecules to Biosystems, September 2005, pp. 3931–3934. [Online].<br />

Available: http://dx.doi.org/10.1109/IEMBS.2005.1615321<br />

[31] J. <strong>Sprinkle</strong>, A. D. Ames, A. Pinto, H. Zheng, <strong>an</strong>d S. S. Sastry, “On the partitioning <strong>of</strong> syntax<br />

<strong>an</strong>d sem<strong>an</strong>tics for hybrid systems tools,” in 44th IEEE Conference on Decision <strong>an</strong>d Control<br />

<strong>an</strong>d Europe<strong>an</strong> Control Conference ECC 2005 (CDC-ECC’05), December 2005, pp. 4694–4699.<br />

[Online]. Available: http://ieeexplore.ieee.org/xpls/abs all.jsp?arnumber=1582903<br />

[32] J. Mark L. McKelvin, J. <strong>Sprinkle</strong>, C. Pinello, <strong>an</strong>d A. S<strong>an</strong>giov<strong>an</strong>ni-Vincentelli, “Fault<br />

toler<strong>an</strong>t data flow modeling using the generic modeling environment,” in 12th Annual IEEE<br />

International Conference <strong>an</strong>d Workshop on the Engineering <strong>of</strong> <strong>Computer</strong> Based Systems, April<br />

2005, pp. 229–235. [Online]. Available: http://dx.doi.org/10.1109/ECBS.2005.38<br />

[33] J. M. Eklund, J. <strong>Sprinkle</strong>, <strong>an</strong>d S. S. Sastry, “Implementing <strong>an</strong>d testing a nonlinear model<br />

predictive tracking controller for aerial pursuit evasion games on a fixed wing aircraft,” in<br />

Proceedings <strong>of</strong> Americ<strong>an</strong> Control Conference (ACC) 2005, June 2005, pp. 1509–1514. [Online].<br />

Available: http://dx.doi.org/10.1109/ACC.2005.1470179<br />

[34] J. <strong>Sprinkle</strong>, J. M. Eklund, <strong>an</strong>d S. S. Sastry, “Deciding to l<strong>an</strong>d a UAV safely in real time,” in<br />

Proceedings <strong>of</strong> Americ<strong>an</strong> Control Conference (ACC) 2005, June 2005, pp. 3506–3511. [Online].<br />

Available: http://dx.doi.org/10.1109/ACC.2005.1470516<br />

[35] ——, “Toward design parameterization support for model predictive control,” in<br />

IEEE 4th International Conference on Intelligent Systems Design <strong>an</strong>d Application,<br />

IEEE. IEEE Press, August 2004, iSBN: 963-7154-30-2. [Online]. Available: http:<br />

//www.eecs.berkeley.edu/ ∼sprinkle/work/publications/rep/sprinkleISDA2004-final.pdf<br />

[36] J. <strong>Sprinkle</strong>, J. Davis, <strong>an</strong>d G. Nordstrom, “A paradigm for teaching modeling<br />

environment design,” in OOPSLA’04 Educators Symposium (Poster Session). ACM, October<br />

2004. [Online]. Available: http://www.eecs.berkeley.edu/ ∼sprinkle/work/publications/rep/<br />

TeachingModelingWithGME.pdf<br />

5


PEER REVIEWED WORKSHOPS (RECENT ONLY)<br />

[37] J. <strong>Sprinkle</strong>, “Improving cbs tool development with technological spaces,” in Eleventh IEEE<br />

International Conference <strong>an</strong>d Workshop on the Engineering <strong>of</strong> <strong>Computer</strong>-Based Systems, May<br />

2004, pp. 218–224. [Online]. Available: http://dx.doi.org/10.1109/ECBS.2004.1316702<br />

[38] J. <strong>Sprinkle</strong>, J. M. Eklund, H. J. Kim, <strong>an</strong>d S. S. Sastry, “Encoding aerial pursuit/evasion games<br />

with fixed wing aircraft into a nonlinear model predictive tracking controller,” in Proceedings<br />

<strong>of</strong> the 43rd IEEE Conference on Decision <strong>an</strong>d Control, vol. 3, December 2004, pp. 2609–2614.<br />

[Online]. Available: http://dx.doi.org/10.1109/CDC.2004.1428851<br />

[39] J. <strong>Sprinkle</strong>, A. Agrawal, T. Levendovszky, F. Shi, <strong>an</strong>d G. Karsai, “Domain tr<strong>an</strong>slation<br />

using graph tr<strong>an</strong>sformations,” in Tenth IEEE International Conference <strong>an</strong>d Workshop on<br />

the Engineering <strong>of</strong> <strong>Computer</strong>-Based Systems, April 2003, pp. 159–168. [Online]. Available:<br />

http://dx.doi.org/10.1109/ECBS.2003.1194795<br />

[40] J. <strong>Sprinkle</strong>, G. Karsai, Ákos Lédeczi, <strong>an</strong>d G. Nordstrom, “The new metamodeling<br />

generation,” in Eighth Annual IEEE International Conference <strong>an</strong>d Workshop on the<br />

Engineering <strong>of</strong> <strong>Computer</strong> Based Systems, April 2001, pp. 275–279. [Online]. Available:<br />

http://dx.doi.org/10.1109/ECBS.2001.922433<br />

Book Chapters<br />

[41] J. <strong>Sprinkle</strong>, B. Rumpe, H. V<strong>an</strong>gheluwe, <strong>an</strong>d G. Karsai, “Metamodelling,” in Model-<br />

Based Engineering <strong>of</strong> Embedded Real-Time Systems, ser. Lecture Notes in <strong>Computer</strong><br />

Science. Springer, 2010, vol. 6100, ch. 4, pp. 59–78. [Online]. Available: http:<br />

//www.springer.com/computer/swe/book/978-3-642-16276-3<br />

[42] T. Levendovszky, B. Rumpe, B. Schätz, J. <strong>Sprinkle</strong>, <strong>an</strong>d H. V<strong>an</strong>gheluwe, “Model evolution<br />

<strong>an</strong>d m<strong>an</strong>agement,” in Model-Based Engineering <strong>of</strong> Embedded Real-Time Systems, ser. Lecture<br />

Notes in <strong>Computer</strong> Science. Springer, 2010, vol. 6100, ch. 10, pp. 243–272. [Online]. Available:<br />

http://www.springer.com/computer/swe/book/978-3-642-16276-3<br />

[43] J. Gray, J.-P. Tolv<strong>an</strong>en, S. Kelly, A. Gokhale, S. Neema, <strong>an</strong>d J. <strong>Sprinkle</strong>, “Domain-specific<br />

modeling,” in H<strong>an</strong>dbook <strong>of</strong> Dynamic System Modeling, P. A. Fishwick, Ed. Chapm<strong>an</strong> &<br />

Hall/CRC, 2007, ch. 7, pp. 7–1–7–20, iSBN: 1584885653.<br />

Invited Papers<br />

[44] J. <strong>Sprinkle</strong>, O. Shakernia, R. Miller, <strong>an</strong>d S. S. Sastry, “Using the hybrid systems<br />

interch<strong>an</strong>ge format to input design models to verification & validation tools,” in IEEE<br />

Aerospace Conference, Verification <strong>an</strong>d Validation, March 2005, pp. 1–6. [Online]. Available:<br />

http://dx.doi.org/10.1109/AERO.2005.1559595<br />

Peer Reviewed Workshops (recent only)<br />

[45] M. Hudson <strong>an</strong>d J. <strong>Sprinkle</strong>, “Simplification <strong>of</strong> sem<strong>an</strong>tically-rich model tr<strong>an</strong>sformations through<br />

generated tr<strong>an</strong>sformation blocks,” in Proceedings <strong>of</strong> the 8th IEEE Workshop on Model-Based<br />

Development for <strong>Computer</strong>-Based Systems, April 2011, pp. 260–268. [Online]. Available:<br />

http://dx.doi.org/10.1109/ECBS.2011.28<br />

6


[46] S. Whitsitt <strong>an</strong>d J. <strong>Sprinkle</strong>, “Message modeling for the joint architecture for unm<strong>an</strong>ned<br />

systems (jaus),” in Proceedings <strong>of</strong> the 8th IEEE Workshop on Model-Based Development<br />

for <strong>Computer</strong>-Based Systems, April 2011, pp. 251–259. [Online]. Available: http:<br />

//dx.doi.org/10.1109/ECBS.2011.17<br />

[47] V. S. Gopinath, J. <strong>Sprinkle</strong>, <strong>an</strong>d R. Lysecky, “Modeling <strong>of</strong> data adaptable reconfigurable<br />

embedded systems,” in Proceedings <strong>of</strong> the 8th IEEE Workshop on Model-Based<br />

Development for <strong>Computer</strong>-Based Systems, April 2011, pp. 276–285. [Online]. Available:<br />

http://dx.doi.org/10.1109/ECBS.2011.31<br />

[48] J. <strong>Sprinkle</strong>, “Analysis <strong>of</strong> a metamodel to estimate complexity <strong>of</strong> using a domainspecific<br />

l<strong>an</strong>guage,” in Proceedings <strong>of</strong> the 10th Workshop on Domain-Specific Modeling,<br />

October 2010, pp. 79–85, ISBN: 978-952-60-1043-4, ISSN: 0356889X. [Online]. Available:<br />

http://www.dsmforum.org/events/DSM10/Papers/<strong>Sprinkle</strong>.pdf<br />

Academic<br />

[49] J. <strong>Sprinkle</strong>, “Metamodel driven model migration,” <strong>Ph</strong>.D. dissertation, V<strong>an</strong>derbilt University,<br />

Nashville, TN 37203, August 2003. [Online]. Available: http://www.isis.v<strong>an</strong>derbilt.edu/sites/<br />

default/files/<strong>Sprinkle</strong> JM 8 0 2003 Metamodel .pdf<br />

[50] ——, “Model integrated program synthesis <strong>of</strong> agent negotiation protocols,” Master’s thesis,<br />

V<strong>an</strong>derbilt University, Nashville, TN 37203, August 2000.<br />

Publication Activities<br />

Regular IEEE Potentials<br />

reviewer Simulation: Tr<strong>an</strong>sactions <strong>of</strong> the Society for Modeling <strong>an</strong>d Simulation International (Area Editor)<br />

Org<strong>an</strong>ization Ninth OOPSLA Workshop on Domain-Specific Modeling (2009, co-org<strong>an</strong>izer)<br />

Large-Scale Cognitive Modeling using Model Integrated Computing, a workshop at CogSci 2009<br />

(co-org<strong>an</strong>izer)<br />

16th Annual IEEE International Conference <strong>an</strong>d Workshop on the Engineering <strong>of</strong> <strong>Computer</strong> Based<br />

Systems (ECBS) (Fin<strong>an</strong>ce Chair)<br />

Eighth OOPSLA Workshop on Domain-Specific Modeling (2008, co-org<strong>an</strong>izer)<br />

Seventh OOPSLA Workshop on Domain-Specific Modeling (2007, co-org<strong>an</strong>izer)<br />

Sixth OOPSLA Workshop on Domain-Specific Modeling (2006, co-org<strong>an</strong>izer)<br />

Fifth OOPSLA Workshop on Domain-Specific Modeling (2005, co-org<strong>an</strong>izer)<br />

Fourth OOPSLA Workshop on Domain-Specific Modeling (2004, co-org<strong>an</strong>izer)<br />

Third International Symposium on Information Processing in Sensor Networks (IPSN ’04) (Publications<br />

Chair)<br />

7


2009<br />

2008<br />

2007<br />

2006<br />

2005<br />

2004<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

3rd International Workshop on Multi-Paradigm Modeling: Concepts <strong>an</strong>d Tools, at MODELS ’09<br />

(PC)<br />

Model-Based Engineering <strong>of</strong> Embedded Real-Time Systems, (Reviewer)<br />

IEEE S<strong>of</strong>tware, Special Issue on Domain-Specific L<strong>an</strong>guages <strong>an</strong>d Modeling, vol. 26, no. 4, Jul/Aug<br />

2009 (Guest Editor)<br />

7th IEEE Workshop on Model-Based Development for <strong>Computer</strong>-Based Systems (ECBS-MBD) (PC)<br />

16th Annual IEEE International Conference <strong>an</strong>d Workshop on the Engineering <strong>of</strong> <strong>Computer</strong> Based<br />

Systems (ECBS) (PC)<br />

15th IEEE Real-Time <strong>an</strong>d Embedded Technology <strong>an</strong>d Applications Symposium (PC, Cyber-<strong>Ph</strong>ysical<br />

Systems Track)<br />

International Workshop on Model Co-Evolution <strong>an</strong>d Consistency M<strong>an</strong>agement (MCCM’08) (PC)<br />

3rd International Workshop on Graph <strong>an</strong>d Model Tr<strong>an</strong>sformation (GraMoT) (PC)<br />

Science <strong>of</strong> <strong>Computer</strong> Programming, Special Issue on Automatic Program Generation for Embedded<br />

Systems (PC)<br />

ASE 2007: WRASQ—WoRkshop on Automating Service Quality (PC)<br />

Design Automation <strong>an</strong>d Test, Europe (DATE), Embedded Systems Track (PC)<br />

ECBS 2007: 5th Workshop on Model-Based Development for <strong>Computer</strong>-Based Systems (PC)<br />

GPCE 2007: Automatic Program Generation for Embedded Systems (PC)<br />

The 21st Annual ACM Symposium on Applied Computing, special track on Model Tr<strong>an</strong>sformation<br />

(reviewer)<br />

ECBS 2006 Workshop on Model-Based Development (PC)<br />

International Conference on S<strong>of</strong>tware Engineering, workshop on “Global Integrated Model M<strong>an</strong>agement”<br />

(PC)<br />

International Workshop on Graph <strong>an</strong>d Model Tr<strong>an</strong>sformation (GRAMOT), in conjunction with the<br />

International Conference on Generative Programming <strong>an</strong>d Component Engineering (GPCE) (TPC)<br />

Control Engineering Practice, a Journal <strong>of</strong> International Federation <strong>of</strong> Automatic Control (IFAC),<br />

(reviewer)<br />

The 9th International IEEE Enterprise Distributed Object Computing Conference (EDOC ’05)<br />

(TPC)<br />

Americ<strong>an</strong> Control Conference (ACC) (reviewer)<br />

IEEE International Conference on Distributed Computing Systems (ICDCS), Sensor Networks <strong>an</strong>d<br />

Embedded Systems Track (TPC)<br />

Simulation: Tr<strong>an</strong>sactions <strong>of</strong> the Society for Modeling <strong>an</strong>d Simulation International (reviewer)<br />

Workshop on Model-Driven Evolution <strong>of</strong> Legacy Systems (MELS) in conjunction with EDOC ’04<br />

(TPC)<br />

International Conference on the Unified Modeling L<strong>an</strong>guage (reviewer)<br />

Fourth OOPSLA Workshop on Domain-Specific Modeling (TPC)<br />

8


2003<br />

Frontiers in Education 2004 (FIE 2004) (reviewer)<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

The 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC ’04)<br />

(TPC)<br />

International Conference on the Unified Modeling L<strong>an</strong>guage (reviewer)<br />

Third OOPSLA Workshop on Domain-Specific Modeling (TPC)<br />

Government/Pr<strong>of</strong>essional Research Meetings<br />

Org<strong>an</strong>ization National Workshop for Research on High-Confidence Tr<strong>an</strong>sportation Cyber-<strong>Ph</strong>ysical Systems: Automotive,<br />

Aviation, & Rail (2008, PC )<br />

Current/<br />

Recent<br />

Projects<br />

From Embedded Systems to Cyber-<strong>Ph</strong>ysical Systems: a Review <strong>of</strong> the State-<strong>of</strong>-the-Art <strong>an</strong>d Research<br />

Needs (2008, Co-org<strong>an</strong>izer), held with RTAS 2008 in St. Louis, MO, April 21.<br />

Center for Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware Systems: 2006 Fall Review (2006, Co-org<strong>an</strong>izer)<br />

NITRD National Workshop on Aviation S<strong>of</strong>tware Systems: Design for Certifiably Dependable Systems<br />

(2006, Co-org<strong>an</strong>izer)<br />

Office <strong>of</strong> the Secretary <strong>of</strong> Defense Workshop In Support Of The S<strong>of</strong>tware <strong>an</strong>d Systems Producibility<br />

Initiative (2006, Co-org<strong>an</strong>izer)<br />

Center for Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware Systems: 2005 Fall Review (2005, Co-org<strong>an</strong>izer)<br />

Center for Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware Systems: 2005 Spring Review (2005, Co-org<strong>an</strong>izer)<br />

Research experience<br />

I am listed as Co-PI or serve as a major project m<strong>an</strong>ager (along with the other listed personnel) for<br />

the following current <strong>an</strong>d recent projects:<br />

Commodity Sensors for Autonomous Consumer Cars<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 1/2009–; With Various Faculty<br />

Brief project description: Robotic cars are still fragile, <strong>an</strong>d more import<strong>an</strong>tly their ability to<br />

navigate depends on sensors that cost more th<strong>an</strong> the cost <strong>of</strong> the vehicle. This project is ongoing<br />

research into the use <strong>of</strong> commodity sensors that come st<strong>an</strong>dard on the car, or are always in the car<br />

(such as a cell phone, or rear camera) to localize, <strong>an</strong>d automate, consumer automobiles.<br />

Supported by various gr<strong>an</strong>ts, <strong>an</strong>d the generosity <strong>of</strong> college donors at the University <strong>of</strong> Arizona<br />

<strong>Ph</strong>ysical Modeling <strong>an</strong>d S<strong>of</strong>tware Synthesis for Self-Reconfigurable Sensors in River Environment<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 8/2009–8/2012 ; With A. Bayen (UC Berkeley) <strong>an</strong>d S. Martinez (UC S<strong>an</strong><br />

Diego)<br />

Brief project description: The objective <strong>of</strong> this research is the tr<strong>an</strong>sformation from static sensing<br />

into mobile, actuated sensing in dynamic environments, with a focus on sensing in tidally forced<br />

rivers. The approach is to develop inverse modeling techniques to sense the environment, coordination<br />

algorithms to distribute sensors spatially, <strong>an</strong>d s<strong>of</strong>tware that uses the sensed environmental data<br />

to enable these coordination algorithms to adapt to new sensed conditions.<br />

Supported by the National Science Foundation, under award #CNS 0930919, titled “ CPS:Medium:Collaborative Research:<br />

<strong>Ph</strong>ysical Modeling <strong>an</strong>d S<strong>of</strong>tware Synthesis for Self-Reconfigurable Sensors in River Environments ”. Program<br />

M<strong>an</strong>ager: Dagmar Niebur.<br />

9


Previous<br />

Major<br />

Projects<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

Data-Adaptable Reconfigurable Embedded Systems (DARES)<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 8/2009–7/2012 ; With Pr<strong>of</strong>. Rom<strong>an</strong> Lysecky, Pr<strong>of</strong>. Jerzy Rozenblit, Pr<strong>of</strong>.<br />

Michael Marcellin<br />

Brief project description: The Data-Adaptable Reconfigurable Embedded Systems (DARES)<br />

project focuses on developing hardware/s<strong>of</strong>tware codesign <strong>an</strong>d reconfigurable computing methodologies<br />

driven by data-adaptability. This data-adaptable approach allows designers to directly model<br />

data configurability <strong>of</strong> <strong>an</strong> application, thereby enabling a solution that c<strong>an</strong> be dynamically reconfigured<br />

at runtime based on the pr<strong>of</strong>ile <strong>of</strong> incoming data. The DARES project combines modeling techniques<br />

for capturing the data configuration space with new hardware/s<strong>of</strong>tware codesign techniques<br />

to synthesize reconfigurable circuits <strong>an</strong>d communication resources directly from the data/application<br />

model. The resulting hardware/s<strong>of</strong>tware implementation provides the flexibility <strong>of</strong> s<strong>of</strong>tware with the<br />

perform<strong>an</strong>ce <strong>of</strong> hardware.<br />

Supported by the National Science Foundation, under award #CNS 0915010, titled “ CSR: Small: Data-Adaptable<br />

Reconfigurable Embedded Systems (DARES)”. Program M<strong>an</strong>ager: D. Helen Gill.<br />

Modeling <strong>of</strong> Embedded Hum<strong>an</strong> Systems<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 8/2009–8/2012 ; With Diy<strong>an</strong>g Chu (student)<br />

Brief project description: The objective <strong>of</strong> this research is to develop abstractions <strong>of</strong> embedded<br />

hum<strong>an</strong> systems (i.e., where components are necessarily hum<strong>an</strong> <strong>an</strong>d computational) that permit<br />

computational <strong>an</strong>alysis <strong>an</strong>d verification <strong>of</strong> their design. Our technical approach is the design <strong>an</strong>d<br />

application <strong>of</strong> <strong>an</strong> embedded hum<strong>an</strong> modeling environment that synthesizes validating simulations,<br />

user-driven simulators, <strong>an</strong>d configuration for <strong>an</strong>alysis <strong>an</strong>d verification tools. This modeling environment<br />

permits the specification <strong>of</strong> multi-modal behaviors, <strong>an</strong>d synthesizes additional system<br />

constraints based on global design preferences. We will also develop <strong>an</strong>alysis methods that reveal<br />

weaknesses in a design when latency, communications breakdown, or ambiguous decision paths are<br />

introduced.<br />

Supported by the Air Force Office <strong>of</strong> Scientific Research, under award #FA9550-091-0519, titled “Modeling <strong>of</strong> Embedded<br />

Hum<strong>an</strong> Systems”. Program M<strong>an</strong>ager: David Luginbuhl.<br />

STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 9/2008–9/2010 ; With Pr<strong>of</strong>. Mark Neifeld<br />

Brief project description: The objective <strong>of</strong> this research is the application <strong>of</strong> graph-based rewriting<br />

<strong>an</strong>d code synthesis techniques to matrix-based algorithm obfuscation. A subset <strong>of</strong> matrix operations<br />

c<strong>an</strong> be rewritten in a different subspace, thus increasing artificially the dimensionality <strong>of</strong> the<br />

system. Additional techniques c<strong>an</strong> embed matrix const<strong>an</strong>ts that represent signific<strong>an</strong>t investments<br />

to achieve (e.g., system identification results) into a new subspace, perform operations on the data<br />

in that subspace, <strong>an</strong>d then recover unobfuscated matrix results for use in external hardware or algorithms.<br />

Army Research Office, under award #W31P4Q-08-C-0498, titled “Modeling Techniques to Support Matrix-Based<br />

Algorithm Obfuscation”. Program M<strong>an</strong>ager: Patrick Jungwirth.<br />

C2 Wind Tunnel: High-Level Autonomy for Multi-Rotorcraft Experiments<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 1/2008–5/2009 ; With Pr<strong>of</strong>. J<strong>an</strong>os Sztip<strong>an</strong>ovits, Pr<strong>of</strong>. Claire Tomlin<br />

Brief project description: Multiple computational nodes performed simulations <strong>of</strong> quad-rotor<br />

vehicle control models, allowing evaluation <strong>of</strong> various hum<strong>an</strong>-UAV interaction protocols through<br />

the C2WT infrastructure. This included visualization in Google Earth, <strong>an</strong>d simulation <strong>of</strong> network<br />

traffic in order to present realistic latencies or outages in communications. Contributions included<br />

automatic target search <strong>an</strong>d tracking algorithms that take over when the network outage prevents<br />

hum<strong>an</strong> action, but on-board sensors c<strong>an</strong> work in a degraded operational mode.<br />

Supported by the Air Force Office <strong>of</strong> Scientific Research, under award #FA9550-06-1-0267, titled “Hum<strong>an</strong> Centric<br />

Design Environments for Comm<strong>an</strong>d <strong>an</strong>d Control Systems: The C2 Wind Tunnel”. Program M<strong>an</strong>ager: David<br />

Luginbuhl.<br />

I have served as a responsible m<strong>an</strong>ager or main technical lead on these major research projects.<br />

MultiCore Hardware Experiments in S<strong>of</strong>tware Producibility<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 1/2008–12/2008 ; With Pr<strong>of</strong>. Br<strong>an</strong>don Eames, Utah State University<br />

Brief project description: Developed as <strong>an</strong> open collaborative research <strong>an</strong>d development environment<br />

to demonstrate, evaluate, <strong>an</strong>d document the ability <strong>of</strong> novel tools, methods, techniques,<br />

<strong>an</strong>d run-time technologies to yield affordable <strong>an</strong>d more predictable production <strong>of</strong> s<strong>of</strong>tware intensive<br />

10


<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

systems.<br />

Funded under award #FA8750-08-1-0024, titled “MultiCore Hardware Experiments in S<strong>of</strong>tware Producibility”. Program<br />

M<strong>an</strong>ager: Steve Drager.<br />

Certification <strong>of</strong> Flight Critical Systems (CerTA FCS)<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 3/2006–7/2008 ; With Jerry Ding, Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry, Pr<strong>of</strong>. Claire<br />

Tomlin<br />

Brief project description: Development <strong>of</strong> distributed decision protocols for autonomous vehicles.<br />

Funded under subcontract to Boeing <strong>Ph</strong><strong>an</strong>tom Works, as part <strong>of</strong> the CerTA FCS project in Air Force Office <strong>of</strong><br />

Scientific Research. Program M<strong>an</strong>ager: Wendy Chou<br />

Foundations <strong>of</strong> Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware Systems<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 3/2006–6/2007 ; With Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry, Pr<strong>of</strong>. Edward A. Lee, Pr<strong>of</strong>.<br />

Alberto S<strong>an</strong>giov<strong>an</strong>ni-Vincentelli, Pr<strong>of</strong>. Thomas A. Henzinger, Pr<strong>of</strong>. J<strong>an</strong>os Sztip<strong>an</strong>ovits<br />

Brief project description: Investigation <strong>of</strong> new techniques to better underst<strong>an</strong>d the nature <strong>of</strong><br />

building heterogeneous systems from the perspective <strong>of</strong> computer science <strong>an</strong>d electrical engineering.<br />

Funded by the National Science Foundation, <strong>Computer</strong> <strong>an</strong>d Information Science <strong>an</strong>d Engineering (CISE) Directorate,<br />

as <strong>an</strong> Information Technology Research (ITR) award #CCR-0225610. Program M<strong>an</strong>ager: Helen Gill<br />

S<strong>of</strong>tware <strong>an</strong>d Systems Test Track<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 8/2006–1/2007 ; With ESCHER Research Institute<br />

Brief project description: Developed as <strong>an</strong> open collaborative research <strong>an</strong>d development environment<br />

to demonstrate, evaluate, <strong>an</strong>d document the ability <strong>of</strong> novel tools, methods, techniques,<br />

<strong>an</strong>d run-time technologies to yield affordable <strong>an</strong>d more predictable production <strong>of</strong> s<strong>of</strong>tware intensive<br />

systems.<br />

Funded under subcontract to the ESCHER Research Institute, <strong>an</strong>d Boeing <strong>Ph</strong><strong>an</strong>tom Works, reference #FA8750-06-<br />

C-0213. Program M<strong>an</strong>ager: Steve Drager.<br />

DARPA Urb<strong>an</strong> Challenge<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 5/2006–11/2007 ; With Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry, Pr<strong>of</strong>. Hugh Durr<strong>an</strong>t-Whyte,<br />

Dr. Ben Upcr<strong>of</strong>t<br />

Brief project description: Development <strong>of</strong> <strong>an</strong> autonomous car to follow the rules <strong>of</strong> the road, as<br />

a Track B entry into the DARPA Urb<strong>an</strong> Challenge.<br />

Funded by various university donors. DARPA Program M<strong>an</strong>ager: Norm Whitaker.<br />

The Embedded Open Control Platform (EOCP)<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 6/2005-3/2006 ; With Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry<br />

Brief project description: Maturation <strong>of</strong> open platform/testbed control interfaces to work with<br />

embedded Linux computers.<br />

Funded under subcontract to Boeing <strong>Ph</strong><strong>an</strong>tom Works, as part <strong>of</strong> the ESCHER Research Institute. Program M<strong>an</strong>ager:<br />

David Corm<strong>an</strong> (Boeing)<br />

BearL<strong>an</strong>d: Autonomous Rotorcraft L<strong>an</strong>ding Using <strong>Computer</strong> Vision<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: 5/2004–3/2006 ; With Dr. Christopher Geyer, Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry. Mr.<br />

Todd Templeton<br />

Brief project description: Successful flight <strong>of</strong> <strong>an</strong> autonomous helicopter, using computer vision<br />

techniques to recover terrain elevation from a single camera, <strong>an</strong>d l<strong>an</strong>ding at <strong>an</strong> appropriate location<br />

determined by the helicopter autonomy.<br />

Funded under subcontract to Boeing <strong>Ph</strong><strong>an</strong>tom Works, as a continuation <strong>of</strong> the DARPA S<strong>of</strong>tware Enabled Control<br />

project, Contract #F33615-98-C-3614. Program M<strong>an</strong>ager: John Bay<br />

Pursuit/Evasion Games <strong>of</strong> UAVs using Model Predictive Control<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: —9/2004 ; With Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry, Dr. J. Mikael Eklund, Pr<strong>of</strong>. H. Jin<br />

Kim<br />

Brief project description: We designed algorithms based on game theory <strong>an</strong>d implemented<br />

through model predictive control, to compete against Air Force test pilots in aerial combat. During<br />

the experiments over several days in the Mojave Desert during June 2004, we successfully targeted<br />

the Air Force “enemy” under the guise <strong>of</strong> a low-observability vehicle tracking a target.<br />

Funded by the DARPA S<strong>of</strong>tware Enabled Control program, Contract #F33615-98-C-3614. Program M<strong>an</strong>ager: John<br />

Bay.<br />

11


Funding &<br />

Collaboration<br />

Modeling<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

Safe L<strong>an</strong>ding <strong>of</strong> UAVs<br />

Period <strong>of</strong> Perform<strong>an</strong>ce: —9/2004 ; With Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry, Dr. J. Mikael Eklund, Pr<strong>of</strong>. I<strong>an</strong> M.<br />

Mitchell<br />

Brief project description: Using computed sets obtained from reachability <strong>an</strong>alysis to generate<br />

decision controllers to allow UAVs to determine feasibility <strong>of</strong> glideslope re-capture despite communications<br />

lag, we l<strong>an</strong>ded a 2-person jet on a logical runway (at 10 000 [ft]) in the Mojave Desert<br />

during June 2004.<br />

Funded under subcontract to Northrop Grumm<strong>an</strong>, as part <strong>of</strong> the DARPA S<strong>of</strong>tware Enabled Control program, Contract<br />

#F33615-98-C-3614. Program M<strong>an</strong>ager: John Bay.<br />

Experience with writing <strong>an</strong>d submitting gr<strong>an</strong>ts to NSF, DARPA, NASA, AFOSR, AFRL<br />

Liaison experience with EU-IST, <strong>an</strong>d various major/minor US Government <strong>an</strong>d Industry<br />

Research interests<br />

My research interest c<strong>an</strong> be broadly called composable systems. This falls broadly into the disciplined<br />

use <strong>of</strong> modeling concepts to produce usable systems or s<strong>of</strong>tware. Applications for this area include<br />

control (especially autonomous systems), <strong>an</strong>d systems engineering.<br />

Domain-Specific L<strong>an</strong>guages, Domain-Specific Modeling Environments (DSMEs)<br />

Model-Integrated Computing, model-based code generation<br />

Modeling <strong>an</strong>d Metamodeling, Model Tr<strong>an</strong>sformations, Model-Driven Development<br />

Integrative models for systems composition<br />

Model-based techniques for system verification<br />

Controls Autonomous Systems<br />

& Systems Cyber-<strong>Ph</strong>ysical <strong>an</strong>d Embedded Systems<br />

Systems<br />

Engineering<br />

Model-Predictive Control (MPC)<br />

Hybrid Systems (Theory <strong>an</strong>d Implementation, Verification)<br />

Adding intelligence to platforms <strong>an</strong>d testbeds<br />

S<strong>of</strong>tware Engineering through Systems Modeling<br />

Executable Model Generation from DSMEs<br />

Actor-Oriented Design/Implementation<br />

12


DGC3<br />

Leadership roles<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

I was the Team Leader for the Sydney-Berkeley Driving Team, a DARPA Urb<strong>an</strong> Challenge Team<br />

put together by UC Berkeley <strong>an</strong>d the University <strong>of</strong> Sydney’s Australi<strong>an</strong> Centre for Field Robotics<br />

(ACFR), along with National Information <strong>an</strong>d Communication Technology, Australia (NICTA), <strong>an</strong>d<br />

the University <strong>of</strong> Technology, Sydney.<br />

CHESS I was named Executive Director <strong>of</strong> the Center for Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware Systems at UC<br />

Center Berkeley in September 2005 by the Board <strong>of</strong> Directors. This was in recognition <strong>of</strong> the work done<br />

for the CHESS Center, <strong>an</strong>d leadership roles taken on in the absence <strong>of</strong> faculty availability, or as a<br />

result <strong>of</strong> personal initiative.<br />

CHESS I was the coordinator for the Center for Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware Systems (CHESS) spon-<br />

Seminars sored weekly seminar. This meeting showcased local <strong>an</strong>d national research in hybrid <strong>an</strong>d embedded<br />

systems. Responsibilities include<br />

ISIS GSC<br />

· attracting speakers,<br />

· ensuring speakers connect with students <strong>an</strong>d researchers whose interests overlap,<br />

· coordinating a full semester <strong>of</strong> topics that complement the overall goals <strong>of</strong> CHESS,<br />

· keeping faculty up-to-date on progress, <strong>an</strong>d<br />

· providing refreshments.<br />

Faced with a burgeoning graduate student population (essentially doubling every year) I formed,<br />

with help from two other <strong>Ph</strong>.D. students, the ISIS Graduate Student Committee. Its purpose was<br />

to familiarize students with one <strong>an</strong>other’s research (<strong>an</strong>d one <strong>an</strong>other) <strong>an</strong>d to reduce the likelihood <strong>of</strong><br />

a student getting “lost” in their first few years <strong>of</strong> graduate study. I served as chair <strong>of</strong> this committee<br />

in its first year <strong>of</strong> existence (AY 2002–2003), with responsibilities <strong>of</strong><br />

· weekly seminar org<strong>an</strong>ization;<br />

· monthly org<strong>an</strong>izational meetings;<br />

· refreshments scheduling for social outings;<br />

· solicitation <strong>of</strong> graduate student sponsors to m<strong>an</strong>age weekly meetings focusing on publications,<br />

research topics, etc.; <strong>an</strong>d<br />

· liaison between graduate students <strong>an</strong>d ISIS staff/faculty, <strong>an</strong>d also VU staff/faculty.<br />

13


SUPERB<br />

Supervisory roles<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

I served as the active faculty mentor for three undergraduate students participating in the Summer<br />

Undergraduate Program in Engineering Research at Berkeley (SUPERB) during the summer <strong>of</strong><br />

2006. I selected the four undergraduate students <strong>an</strong>d h<strong>an</strong>d-picked their graduate mentors, for this,<br />

my third year to serve as mentor for the Berkeley Chess group. The program was sponsored by the<br />

NSF in a supplemental Research Experience for Undergraduates (REU) award through the NSF ITR<br />

Foundations for Hybrid <strong>an</strong>d Embedded Systems at the Center for Hybrid <strong>an</strong>d Embedded S<strong>of</strong>tware<br />

Systems (CHESS). You c<strong>an</strong> see the results from this <strong>an</strong>d previous years at<br />

· http://chess.eecs.berkeley.edu/superb/,<br />

· http://chess.eecs.berkeley.edu/projects/ITR/2005/superb/, <strong>an</strong>d<br />

· http://chess.eecs.berkeley.edu/projects/ITR/2004/superb.htm.<br />

Courses Taught<br />

Model-Integrated Computing (University <strong>of</strong> Arizona)<br />

2008, 2010<br />

Modeling, metamodeling, adv<strong>an</strong>ced object-oriented system design, model-integrated computing, <strong>an</strong>d<br />

integrated systems. Behavioral, structural, <strong>an</strong>d process modeling are among the modeling approaches<br />

to be examined. Additional topics include sem<strong>an</strong>tic mapping, models <strong>of</strong> computation,<br />

graph rewriting, <strong>an</strong>d domain-specific modeling. Features <strong>an</strong> individual project performed over the<br />

course <strong>of</strong> the semester.<br />

Object-Oriented S<strong>of</strong>tware Design (University <strong>of</strong> Arizona)<br />

2007–2010<br />

Concepts <strong>of</strong> object-oriented s<strong>of</strong>tware design, with programming exercises as pro<strong>of</strong>s <strong>of</strong> concept (i.e.,<br />

not primarily a programming course). The set <strong>of</strong> topics <strong>an</strong>d areas include OO computing concepts,<br />

OO designs <strong>an</strong>d architectures, classic OO (classes, message passing, inherit<strong>an</strong>ce, polymorphism,<br />

dynamic binding), introduction to UML, <strong>an</strong>d a project approved by the instructor, <strong>an</strong>d performed<br />

by a team (not <strong>an</strong> individual).<br />

S<strong>of</strong>tware Engineering Concepts (University <strong>of</strong> Arizona)<br />

2008, In-depth consideration <strong>of</strong> each <strong>of</strong> the phases <strong>of</strong> the s<strong>of</strong>tware project life cycle. Object-oriented design<br />

2010–2011 <strong>an</strong>d programming. Includes a large-scale s<strong>of</strong>tware development project involving groups <strong>of</strong> students.<br />

Autonomous Systems: Algorithms & Implementation (University <strong>of</strong> California, Berkeley)<br />

Fall 2006<br />

A graduate level course which introduces mech<strong>an</strong>ical, civil, <strong>an</strong>d electrical engineers with nonlinear<br />

systems <strong>an</strong>d/or controls backgrounds, or s<strong>of</strong>tware experience. This course approaches the domain <strong>of</strong><br />

autonomous systems from the perspective <strong>of</strong> algorithms <strong>an</strong>d their implementation upon <strong>an</strong> existing<br />

s<strong>of</strong>tware <strong>an</strong>d hardware infrastructure. Our “driving” example will in fact be the newest DARPA<br />

Gr<strong>an</strong>d Challenge inst<strong>an</strong>tiation: the DARPA Urb<strong>an</strong> Challenge.<br />

14


Hybrid Systems: Computation & Control (University <strong>of</strong> California, Berkeley)<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

Spring A graduate level course which introduces mech<strong>an</strong>ical, civil, <strong>an</strong>d electrical engineers with nonlinear<br />

2005 systems <strong>an</strong>d/or controls backgrounds to the topic <strong>of</strong> hybrid systems (i.e., systems with discrete<br />

<strong>an</strong>d continuous components). The course consists <strong>of</strong> weekly lectures by the instructor, homework<br />

assignments, <strong>an</strong>d <strong>an</strong> individual or team project. My responsibilities include occasional lectures,<br />

<strong>an</strong>d full m<strong>an</strong>agement <strong>of</strong> the projects component <strong>of</strong> the course: assigning students to other project<br />

mentors, supervising the content <strong>of</strong> the projects, as well as aiding students in their modeling <strong>an</strong>d<br />

simulation questions. I also serve as liaison between the students <strong>an</strong>d instructor for project matters,<br />

<strong>an</strong>d in ways through which their extra-curricular research c<strong>an</strong> be integrated into the project.<br />

Adv<strong>an</strong>ced Topics in Systems Theory (University <strong>of</strong> California, Berkeley)<br />

Spring A revised version <strong>of</strong> the Model-Integrated Computing course (taught at V<strong>an</strong>derbilt University)<br />

2004 adapted for the University <strong>of</strong> California, Berkeley. Modifications accounted for the students’ relatively<br />

adv<strong>an</strong>ced modeling experience (none <strong>of</strong> the students were in their first year as a graduate)<br />

<strong>an</strong>d enh<strong>an</strong>ced through in-depth research topic discussions relating to state-<strong>of</strong>-the-art modeling practices.<br />

I served as the sole instructor, overseeing lecture, grading, homework, project, <strong>an</strong>d student<br />

presentations.<br />

Adv<strong>an</strong>ced S<strong>of</strong>tware Architecture (V<strong>an</strong>derbilt University)<br />

Spring Taught as a fourth-year undergraduate s<strong>of</strong>tware design course, although also open to graduate<br />

2003 students. Fundamentals <strong>of</strong> data abstraction <strong>an</strong>d object-oriented methodology, as well as in-depth<br />

exploration <strong>of</strong> the C++ object model through rigorous homework assignments, <strong>an</strong>d a capstone group<br />

project. I served as one <strong>of</strong> three instructors, with duties <strong>of</strong> project m<strong>an</strong>agement, regular lecture,<br />

devising homework assignments, as well as homework <strong>an</strong>d project grading <strong>an</strong>d course m<strong>an</strong>agement.<br />

Model-Integrated Computing (V<strong>an</strong>derbilt University)<br />

Fall A graduate course taught only at V<strong>an</strong>derbilt University (at the time), MIC is a fundamental class in<br />

2000–2002 the theory <strong>an</strong>d application <strong>of</strong> the science <strong>of</strong> modeling. Students define their own modeling l<strong>an</strong>guage(s)<br />

<strong>an</strong>d create domain-specific modeling environments to solve specific s<strong>of</strong>tware problems. Meta-level<br />

thinking is introduced <strong>an</strong>d given foundation through homework assignments, in-class presentations<br />

<strong>of</strong> related research, <strong>an</strong>d a signific<strong>an</strong>t individual project. I served as one <strong>of</strong> four instructors, with<br />

duties <strong>of</strong> project m<strong>an</strong>agement <strong>an</strong>d grading, <strong>an</strong>d for the past three years have lectured the course<br />

material on metamodeling.<br />

Multimedia Programming (V<strong>an</strong>derbilt University)<br />

Spring An undergraduate s<strong>of</strong>tware course designed around Java <strong>an</strong>d graphical programming using Java.<br />

2000 Students learned the concepts <strong>of</strong> graphical programming in Java through homeworks that progressively<br />

built on each other, <strong>an</strong>d a capstone group project. I served as the teaching assist<strong>an</strong>t, with<br />

responsibilities <strong>of</strong> lab supervision, student consultations, <strong>an</strong>d devising <strong>an</strong>d grading all homeworks<br />

<strong>an</strong>d projects.<br />

Introduction to Circuits (Tennessee Technological University)<br />

Spring Introduction to electronic circuit <strong>an</strong>alysis <strong>an</strong>d design, taught during the undergraduate second-year.<br />

1998 Students learn the properties <strong>of</strong> current <strong>an</strong>d potential, as well as fundamental design concepts required<br />

for more adv<strong>an</strong>ced courses such as electronics <strong>an</strong>d control systems. While a third-year undergraduate,<br />

I served as the instructor for the recitation session, with duties <strong>of</strong> grading all homeworks<br />

<strong>an</strong>d tests, as well as devising interesting <strong>an</strong>d instructive problems to solve during recitation.<br />

15


Finding <strong>an</strong>d Preparing for a Faculty Job<br />

Teaching Workshops<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

This workshop is designed for mid-tenure graduate students. The workshop discussed timelines for<br />

completing academic requirements, <strong>an</strong>d correlated these with timelines for applying for faculty jobs.<br />

Additional discussion centered around realistic goals for getting a faculty job, based on perform<strong>an</strong>ce<br />

to date.<br />

Bal<strong>an</strong>cing Life as Your Career Progresses<br />

This workshop is designed for mid-tenure graduate students who are worried about the dem<strong>an</strong>ds <strong>of</strong><br />

family <strong>an</strong>d work. The workshop focused on exploring accommodations from employers as part <strong>of</strong> the<br />

hiring process, <strong>an</strong>d also discussed what accommodations are required by law to be made. Various<br />

workshop leaders gave personal stories <strong>of</strong> their own traversal in this path.<br />

Appointments within Universities in the USA <strong>an</strong>d Abroad<br />

(Subtitle: Different Positions, Joint Appointments). This workshop is designed for mid-tenure graduate<br />

students who are only beginning to wonder where they will find employment upon graduation.<br />

The workshop examined the different types <strong>of</strong> appointments available within universities <strong>an</strong>d colleges<br />

in the US, as well as providing nomenclature (<strong>an</strong>d potentially, definition) differences between<br />

appointments in the US <strong>an</strong>d abroad.<br />

Establishing a Publications Record in Engineering <strong>an</strong>d the Sciences<br />

In conjunction with the V<strong>an</strong>derbilt University Center for Teaching <strong>an</strong>d GradSTEP. This workshop<br />

focuses on exposing engineering <strong>an</strong>d science graduate students to the types <strong>of</strong> publications available<br />

to their discipline. Descriptions <strong>of</strong> how ideas map to publications help graduate students underst<strong>an</strong>d<br />

which ideas they have belong in which type <strong>of</strong> publication (e.g., workshop vs. journal).<br />

Underst<strong>an</strong>ding the Complex University Hierarchy<br />

This workshop helps students underst<strong>an</strong>d the complex roles (<strong>an</strong>d names) <strong>of</strong> administration hierarchy<br />

from a variety <strong>of</strong> perspectives, including statewide higher education from Tennessee <strong>an</strong>d other states.<br />

After attending this workshop, graduate students were more capable <strong>of</strong> selecting schools whose<br />

administration style suited their academic preferences.<br />

Strategies for Effective Lectures<br />

TA Orientation<br />

In conjunction with the Center for Teaching <strong>an</strong>d TA Orientation. This workshop focused on developing<br />

<strong>an</strong> archetype for <strong>an</strong> effective lecture. Import<strong>an</strong>t realizations for particip<strong>an</strong>ts revolved around<br />

the effective use <strong>of</strong> humor, as well as determining the level <strong>of</strong> knowledge <strong>of</strong> your audience. Possible<br />

problems <strong>an</strong>d topics to avoid were also discussed.<br />

Three days <strong>of</strong> workshops <strong>an</strong>d sessions to help incoming graduate assist<strong>an</strong>ts learn their responsibilities<br />

at V<strong>an</strong>derbilt University. These workshops r<strong>an</strong>ged from ethical considerations (improper relationships,<br />

etc.) <strong>an</strong>d underst<strong>an</strong>ding <strong>of</strong> personal role (recognizing when <strong>an</strong> advisor asks too much <strong>of</strong> you)<br />

to basic teaching skills <strong>an</strong>d legal obligations as <strong>an</strong> instructor. I was responsible for 25 students for<br />

three days <strong>an</strong>d about 24 hours <strong>of</strong> total instruction.<br />

16


Awards<br />

White<br />

House<br />

Fellow<br />

Honors<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

College <strong>of</strong> Engineering Faculty Support Gr<strong>an</strong>t, made possible by the generosity <strong>of</strong> Ed <strong>an</strong>d Jo<strong>an</strong><br />

Biggers to the University <strong>of</strong> Arizona College <strong>of</strong> Engineering<br />

IBM Fellow, graduate study at V<strong>an</strong>derbilt University.<br />

I was selected as a regional finalist for the 2005–2006 White House Fellows Program—self described<br />

as “one <strong>of</strong> the Nation’s most prestigious programs for leadership <strong>an</strong>d public service.” The webpage<br />

denotes that “[s]election as a White House Fellow is highly competitive <strong>an</strong>d based on a record <strong>of</strong><br />

remarkable pr<strong>of</strong>essional achievement early in one’s career, evidence <strong>of</strong> leadership skills, a strong<br />

commitment to public service, <strong>an</strong>d the knowledge <strong>an</strong>d skills necessary to contribute successfully at<br />

the highest levels <strong>of</strong> the Federal government.” I participated in a regional interview <strong>of</strong> 12 regional<br />

finalists, two <strong>of</strong> whom were selected as fellows for the 2005–2006 year. For more information, see<br />

http://www.whitehouse.gov/fellows/news/20050228.html.<br />

Nobel I was selected as one <strong>of</strong> nine young researchers in the United States by the Oak Ridge Associated<br />

Meeting Universities to participate in the 52nd Meeting <strong>of</strong> Nobel Laureates in Lindau, Germ<strong>an</strong>y, July 2002.<br />

The meeting consists <strong>of</strong> small group discussions <strong>an</strong>d informal talks between students <strong>an</strong>d laureates,<br />

as well as meals with distinguished scientists such as Sir Harry Kroto <strong>an</strong>d Rudolf Mössbauer. For<br />

more information, see http://www.orau.gov/orise/edu/lindau2002/.<br />

Master<br />

Teaching<br />

Fellow<br />

F2P2<br />

Master Teaching Fellow in the Center for Teaching at V<strong>an</strong>derbilt University. This position was<br />

conferred on me for the 2002–2003 academic year. In my appointment, I (along with nine other<br />

graduate students selected from all graduate <strong>an</strong>d pr<strong>of</strong>essional schools at V<strong>an</strong>derbilt University)<br />

· served as counselor to teaching assist<strong>an</strong>ts (TAs) in all disciplines;<br />

· played a formative role in the integration <strong>of</strong> new TAs into V<strong>an</strong>derbilt by leading workshops at<br />

TA Orientation, a m<strong>an</strong>datory event for TAs during their tenure at V<strong>an</strong>derbilt;<br />

· gave consultations to TAs concerned with their perform<strong>an</strong>ce, or as required by their supervisor;<br />

· sponsored <strong>an</strong>d org<strong>an</strong>ized graduate student workshops dealing with academia-related topics;<br />

· served as liaison between TAs <strong>an</strong>d their students when providing mid-term feedback regarding<br />

course dynamics;<br />

For more information, see http://www.v<strong>an</strong>derbilt.edu/cft/.<br />

I was <strong>an</strong> F2P2 graduate in May 2004. The Future Faculty Preparation Program (F2P2) is a voluntary<br />

program for graduate students at V<strong>an</strong>derbilt University to provide a structure that will facilitate<br />

their integration into academia upon completion <strong>of</strong> the <strong>Ph</strong>.D. Graduates must perform service,<br />

leadership, <strong>an</strong>d participatory roles in each <strong>of</strong> the categories <strong>of</strong><br />

· World <strong>of</strong> the University<br />

· Teaching & Learning<br />

· Pr<strong>of</strong>essional Development, <strong>an</strong>d<br />

· Technological Initiatives.<br />

Emphasis in the F2P2 program is placed on reflection, i.e., the immediate evaluation <strong>of</strong> your perform<strong>an</strong>ce<br />

at some task or learning session through peer meetings or personal journaling. There were 4<br />

F2P2 graduates in May 2004 from V<strong>an</strong>derbilt University.<br />

17


Undergrad- TTU Student Body President<br />

uate Campus Leader <strong>of</strong> the Year 1997–98<br />

Various<br />

Invited<br />

Presentations<br />

Student Government Legislator <strong>of</strong> the Year, 1997–98<br />

Derryberry Award Finalist<br />

TTU nominee for Rhodes Scholar<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

United States Skills Olympics (National), 4th place, Extempor<strong>an</strong>eous Speech (1994)<br />

Eagle Scout with six Eagle Palms (1993)<br />

Presentations<br />

‘‘CHESS: Building a Cyber-<strong>Ph</strong>ysical Agenda on Solid Foundations”, Presented in the workshop<br />

From Embedded Systems to Cyber-<strong>Ph</strong>ysical Systems: a Review <strong>of</strong> the State-<strong>of</strong>-the-Art <strong>an</strong>d Research<br />

Needs, 21 April 2008.<br />

‘‘Autonomous Systems, Modeling, <strong>an</strong>d Code Generation”, <strong>Computer</strong> Engineering Seminar, University<br />

<strong>of</strong> Arizona ECE <strong>Department</strong>, 4 October, 2007.<br />

‘‘Model-Based Systems Engineering”, University <strong>of</strong> Arizona Engineering Industrial Advisory Board,<br />

29 September, 2007.<br />

‘‘Intelligence for Component-based Embedded Systems”—given 21 June 2006 at the CITRIS in<br />

Europe Meeting, Helsinki, Finl<strong>an</strong>d.<br />

‘‘Stake in the Ground”—given 16 May 2006 at the OSD Workshop in support <strong>of</strong> the S<strong>of</strong>tware<br />

Producibility Initiative.<br />

‘‘Networked Embedded Systems: Sensor Nets <strong>an</strong>d Beyond”—Keynote Speech given 3 April 2006 for<br />

SASIMI (Synthesis And System Integration <strong>of</strong> Mixed Information technologies), at Nagoya, Jap<strong>an</strong>.<br />

‘‘System Design by Engineers for Modeling <strong>an</strong>d Simulation”—given 12 December 2005 at the IEEE<br />

Conference on Decision <strong>an</strong>d Control; p<strong>an</strong>el presentation during lunch session on Modeling <strong>an</strong>d<br />

Simulation sponsored by The Mathworks.<br />

‘‘Information Technology for Assisted Living at Home—ITALH”—given 8 July 2005, for my colleague<br />

Dr. J. Mikael Eklund, at the CITRIS in Europe Meeting, Munich, Germ<strong>an</strong>y.<br />

‘‘Pusuit/Evasion <strong>of</strong> Fixed-wing Aircraft through Model Predictive Control”—given 6 October 2004<br />

at the NASA/Goddard Space Flight Center’s Information Science <strong>an</strong>d Technology (IS&T) Colloquium<br />

Series.<br />

‘‘Forgetting UML (A Useful Guide to Formal Modeling)”—given 14 September 2004 in the Berkeley<br />

CHESS Seminar Series.<br />

‘‘Domain-Specific Modeling (or ‘how I learned to stop worrying <strong>an</strong>d love the metamodel’)”—given<br />

November 2003 in the Berkeley CHESS Seminar Series.<br />

‘‘Metamodel Driven Model Migration”—given 7 May 2003 at the CHESS NSF Site Review.<br />

‘‘Graduate School—You C<strong>an</strong>’t Believe It’s Not Butter”—given 1 April 2003 at the monthly HKN<br />

meeting at Tennessee Technological University.<br />

‘‘Graduate Research (or ‘how I learned to stop worrying <strong>an</strong>d love the 25 hour day’)”—given March<br />

2002 at the monthly IEEE meeting at Tennessee Technological University.<br />

18


Service<br />

Depart- Org<strong>an</strong>izer, ECE Currents (2009-)<br />

mental Judge, ECE372 Final Projects (Fall 2007, Spring 2009, Spring 2010)<br />

Reader, ECE Graduating Seniors’ Writing Portfolios<br />

Org<strong>an</strong>izer, <strong>Computer</strong> Engineering Seminar<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

Univer- Member, Faculty Senate Research Policy Committee (2010-)<br />

sity Member, Faculty Senate Task Force on Student Retention <strong>an</strong>d Adv<strong>an</strong>cement (2007-2008)<br />

Pr<strong>of</strong>essional<br />

Memberships<br />

Institute <strong>of</strong> <strong>Electrical</strong> <strong>an</strong>d Electronics Engineers (IEEE)<br />

IEEE <strong>Computer</strong> Society, Controls Society, Education Society<br />

Association for Computing Machinery (ACM)<br />

ACM SIGBED (Special Interest Group on Embedded Systems)<br />

Americ<strong>an</strong> Institute <strong>of</strong> Aeronautics <strong>an</strong>d Astronautics (AIAA)<br />

Engineer in Training (EIT), tested May 1999<br />

Elected Mortarboard National Honor Society<br />

Honors Omicron Delta Kappa (O∆K) Honor Society<br />

Education<br />

Community<br />

Tau Beta Pi (TBΠ) Engineering Honor Society<br />

Eta Kappa Nu (HKN) National <strong>Electrical</strong> <strong>an</strong>d <strong>Computer</strong> Engineering Honor Society<br />

The Honor Society <strong>of</strong> <strong>Ph</strong>i Kappa <strong>Ph</strong>i (ΦKΦ)<br />

Kappa Mu Epsilon (KME) Mathematics Honor Society<br />

Future Faculty Preparation Program (F2P2) graduate (VU)<br />

IEEE Education Society<br />

Boy Scouts <strong>of</strong> America<br />

United States Tennis Association<br />

19


Hobbies <strong>an</strong>d Interests<br />

<strong>Ph</strong>otography Amateur photography (B&W <strong>an</strong>d Slide developing, printing)<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.<br />

Cushy Espresso c<strong>of</strong>fee. I am intimately familiar with the science <strong>an</strong>d art <strong>of</strong> creating excellent espresso<br />

delights c<strong>of</strong>fee, <strong>an</strong>d I happily admit that I make a personal effort to train colleagues to acquire a palate for<br />

this delicious beverage.<br />

Sports<br />

Board<br />

<strong>an</strong>d card<br />

games<br />

/etc<br />

Academic<br />

Golf<br />

Tennis<br />

Backpacking<br />

I host a regular neighborhood poker game, at which no money ch<strong>an</strong>ges h<strong>an</strong>ds, but interesting<br />

variations on poker are played (note that attending this game is much more enjoyable th<strong>an</strong> watching<br />

boring Texas Hold ’em).<br />

Euchre, Rook<br />

Crosswords, Sudoku<br />

Mind-stretching games, e.g., Set, Scrabble, <strong>an</strong>d chess.<br />

Acoustic <strong>an</strong>d electric guitar<br />

My Erdős number is 4 (see http://www.oakl<strong>an</strong>d.edu/enp for more information).<br />

Pr<strong>of</strong>. Sh<strong>an</strong>kar Sastry<br />

De<strong>an</strong>, College <strong>of</strong> Engineering<br />

University <strong>of</strong> California, Berkeley, CA<br />

sastry@EECS.Berkeley.Edu<br />

References <strong>an</strong>d Colleagues<br />

Pr<strong>of</strong>. J<strong>an</strong>os Sztip<strong>an</strong>ovits<br />

Director <strong>of</strong> Institute for S<strong>of</strong>tware Integrated Systems<br />

V<strong>an</strong>derbilt University, Nashville, TN<br />

j<strong>an</strong>os.sztip<strong>an</strong>ovits@v<strong>an</strong>derbilt.edu<br />

Pr<strong>of</strong>. Gábor Karsai<br />

Pr<strong>of</strong>essor, <strong>Electrical</strong> <strong>an</strong>d <strong>Computer</strong> Engineering<br />

V<strong>an</strong>derbilt University, Nashville, TN<br />

gabor.karsai@v<strong>an</strong>derbilt.edu<br />

Pr<strong>of</strong>. Claire J. Tomlin<br />

Pr<strong>of</strong>essor, <strong>Electrical</strong> Engineering <strong>an</strong>d <strong>Computer</strong> Sciences<br />

University <strong>of</strong> California, Berkeley, CA<br />

tomlin@EECS.Berkeley.Edu<br />

20


Industry<br />

Pr<strong>of</strong>. Edward A. Lee<br />

Pr<strong>of</strong>essor & Chair, <strong>Electrical</strong> Engineering <strong>an</strong>d <strong>Computer</strong> Sciences<br />

University <strong>of</strong> California, Berkeley, CA<br />

eal@EECS.Berkeley.Edu<br />

Dr. James L. Paunicka<br />

Technical Fellow<br />

Boeing <strong>Ph</strong><strong>an</strong>tom Works, St. Louis, MO<br />

James.L.Paunicka@boeing.com<br />

Dr. Andrzej B<strong>an</strong>aszuk<br />

Fellow<br />

United Technologies Research Center, Hartford, CT<br />

B<strong>an</strong>aszA@utrc.utc.com<br />

21<br />

<strong>Jonath<strong>an</strong></strong> <strong>Sprinkle</strong>, <strong>Ph</strong>.D.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!