-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
230 lines (209 loc) · 16.9 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
<html><head>
<title>Sarah Miracle</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<table>
<tbody>
<tr>
<td><img style="width: 150px; height: 225px;" src="./sarah.jpg" alt="Sarah"> </td>
<td style="vertical-align: top;"> <br>
</td>
<td>
<big><big><big style="font-weight: bold;"><span style="color: rgb(10, 10, 142);"> Sarah Miracle </span></big></big></big><br><br>
<span><big> Assistant Professor</big>
</span></big><br style="font-weight: bold;"> <span></span><big><a style="font-weight: bold;" href="http://www.stthomas.edu/cisc/">Department of Computer and Information Sciences</a></big><span> </span><br style="font-weight: bold;">
<big><span>University of St. Thomas </span></big><br>
<br>
Office: OSS 411 <br>
Mail: 2115 Summit Avenue # OSS-402, Saint Paul, MN 55105<br>
Email: sarah (dot) miracle (at) stthomas (dot) edu<br>
</td>
</tr>
</tbody>
</table>
<br>I am an Assistant Professor at the University of St. Thomas in the Department of Computer and Information Sciences (CISC). I received a Ph.D. in Algorithms, Combinatorics and Optimization from the <a href="http://www.aco.gatech.edu">Georgia Institute of Technology</a>. My advisor was <a href="http://people.math.gatech.edu/~randall/">Dana Randall</a>. My main research interests include randomized algorithms, sampling and Markov chains. <br>
<br>
Prior to attending Georgia Tech, I worked for 5 years as an engineer and then as a manager at <a href="http://www.ni.com">National Instruments</a> in Austin, TX. In 2003, I graduated from <a href="http://www.vanderbilt.edu">Vanderbilt University</a> with a B.E. in computer engineering and mathematics and a M.S. in computer science. <!--
<br><br>
This semester I am teaching <a href=http://www.cc.gatech.edu/~miracle/CS3510.html> CS 3510 Design and Analysis of Algorithms</a>.-->
<br> <br>
<hr>
<a href="#Teaching">Teaching</a> | <a href="#Publications">Publications</a> | <a href="#Professional">Professional Experience</a>
<hr>
<br>
<a name="Teaching"></a>
<big style="font-weight: bold;"><span style="color: rgb(10, 10, 142);">TEACHING <br></span></big><br>
<big ><span style="color: rgb(63, 125, 232);">Current (Fall 2018)</span></big><br>
<ul style="line-height:1.5;">
<li>CISC 131 - Intro to Programming and Problem Solving.</li>
<li>CISC 231 - Data Structures and Object Design.</li>
<li>CISC 380 - Algorithms.</li>
</ul>
<big ><span style="color: rgb(63, 125, 232);">Previous</span></big><br>
<ul style="line-height:1.5;">
<li>CISC 130 - Introduction to Programming and Problem Solving - Sciences, Spring 2018.</li>
<li>CISC 131 - Introduction to Programming and Problem Solving, Fall 2015, Spring 2016, Fall 2017, Spring 2018.</li>
<li>CISC 231 - Data Structures and Object Design, Fall 2015, Fall 2016, Spring 2017, Fall 2017.</li>
<li>CISC 380 - Algorithms, Spring 2016, Spring 2017.</li>
<li>(Georgia Tech) CS 3510 - Design and Analysis of Algorithms, Spring 2015.</li>
<li>(Georgia Tech) CS 3510 - Design and Analysis of Algorithms, Summer 2014.</li>
<li>(National Instruments) <a href="http://sine.ni.com/tacs/app/fp/p/ap/ov/lang/en/ol/en/oc/us/pg/1/sn/n8:28/">LabVIEW</a>, <a href="http://sine.ni.com/tacs/app/fp/p/ap/ov/lang/en/ol/en/oc/us/pg/1/sn/n8:33/">TestStand</a> and <a href="http://sine.ni.com/tacs/app/fp/p/ap/ov/lang/en/ol/en/oc/us/pg/1/sn/n8:27/">DIAdem</a>, 2004-2007.</li></ul>
<br>
<hr>
<br>
<a name="Publications"></a>
<big style="font-weight: bold;"><span style="color: rgb(10, 10, 142);">PUBLICATIONS<br></span></big><br>
<!--For an overview, see some of my <a href = "talks.html">talks</a>.<br>-->
<ul style="line-height:1.7;">
<li>Phase Transitions in Random Dyadic Tilings and Rectangular Dissections, with Sarah Cannon and Dana Randall. <i>SIAM Journal of Discrete Mathematics</i> (SIDMA), 2018.</li>
<li>Targeted Ciphers for Format-Preserving Encryption, with Scott Yilek. <i>Selected Areas in Cryptography</i> (SAC), 2018.</li>
<li>Rapid Mixing of <i>k-Class Biased Permutations</i>, with Amanda Streib. <i>Proceedings of the 13th Latin American Theoretical INformatics Symposium</i> (LATIN), 2018.</li>
<li>Cycle Slicer: An Algorithm for Building Permutations on Special Domains, with Scott Yilek. <i>Proceedings of the 23nd International Conference on the Theory and Applications of Cryptology and Information Security</i> (Asiacrypt), 2017.</li>
<li><a href="Papers/CycleWalking.pdf"style="text-decoration:none; border-bottom: 1px solid;">Reverse Cycle Walking and Its Applications</a>, with Scott Yilek. <i>Proceedings of the 22nd International Conference on the Theory and Applications of Cryptology and Information Security</i> (Asiacrypt), 2016.</li>
<li><a href="Papers/TriangulationJournal.pdf"style="text-decoration:none; border-bottom: 1px solid;">Sampling and Counting 3-Orientations of Planar Triangulations</a>, with Dana Randall, Amanda Streib and
Prasad Tetali. <i>SIAM Journal of Discrete Mathematics</i>, 2016.</li>
<li>Algorithms to Approximately Count and Sample Conforming Colorings of Graphs, with Dana Randall. <i>Discrete Applied Mathematics</i>, 2015.</li>
<li><a href="Papers/Dissections.pdf"style="text-decoration:none; border-bottom: 1px solid;">Phase Transitions in Random Dyadic Tilings and Rectangular Dissections</a>, with Sarah Cannon and Dana Randall. <i>Proceedings of the 26th ACM-SIAM Symposium on Discrete Algorithms</i> (SODA), 2015.</li>
<li><a href="Papers/Schelling.pdf" style="text-decoration:none; border-bottom: 1px solid;">Clustering and Mixing Times for Segregation Models on Z<sup>2</sup></a>, with Prateek Bhakta andDana Randall. <i>Proceedings of the 25th ACM-SIAM Symposium on Discrete Algorithms</i> (SODA), 2014.</li>
<li><a href="Papers/AdaptedConforming.pdf" style="text-decoration:none; border-bottom: 1px solid;">Algorithms to Approximately Count and Sample Conforming Colorings of Graphs</a>, with Dana Randall. <i>Proceedings of the VIILatin-American Algorithms, Graphs and Optimization Symposium</i> (LAGOS), 2013.</li>
<li><a href="Papers/BiasedPermutations.pdf" style="text-decoration:none; border-bottom: 1px solid;">Mixing Times of Markov Chains for Self-Organizing Lists and Biased Permutations</a>, with Prateek Bhakta,Dana Randall and Amanda Streib. <i>Proceedings of the 24th ACM-SIAM Symposium on Discrete Algorithms</i> (SODA), 2013.</li>
<li><a href="Papers/3OrientationTriangulation.pdf" style="text-decoration:none; border-bottom: 1px solid;">Mixing Times of Markov Chains on 3-Orientations of Planar Triangulations</a>, with Dana Randall, Amanda Streib andPrasad Tetali. <i>Proceedings of the 23rd International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysisof Algorithms</i> (AofA), 2012.</li>
<li><a href="papers/ColloidsInterfering.pdf" style="text-decoration:none; border-bottom: 1px solid;">Clustering in Interfering Binary Mixtures</a>, with Dana Randall and Amanda Streib. <i>Proceedings of the 15th International Workshopon Randomization and Computation</i> (RANDOM), 2011.</li>
<li><a href="papers/ColloidsBars.pdf" style="text-decoration:none; border-bottom: 1px solid;">Cluster Algorithms for Discrete Models of Colloids with Bars</a>, with Dana Randall and Amanda Streib. <i>Proceedings of the 8thWorkshop on Analytic Algorithmics and Combinatorics</i> (ANALCO), 2011.</li>
</ul>
<br>
<hr>
<br>
<!--
<a name="HonorsAwards"></a>
<big style="font-weight: bold;"><span style="color: rgb(10, 10, 142);">HONORS and AWARDS<br></span></big>
<ul style="line-height:1.7;">
<li> Georgia Institute of Technology Algorithms & Randomness Center Student Fellowship, 2014.</li>
<li> Georgia Institute of technology Algorithms, Combinatorics, and Optimization Fellowship, 2013, 2014.</li>
<li> Atlanta Achievement Rewards for College Scientists Foundation Scholar Award, 2011-2013.</li>
<li> U.S. Department of Energy Office of Science Graduate Fellowship, 2010 - 2012.</li>
<li> National Science Foundation Graduate Research Fellowship Honorable Mention, 2010.</li>
<li> Georgia Institute of Technology Presidential Fellowship, 2008.</li>
<li> Georgia Institute of Technology Algorithms, Combinatorics, and Optimization Fellowship, 2008.</li>
<li> Vanderbilt Dean's Award for Outstanding Scholarship, 2003. </li>
<li> Vanderbilt Program Award for Computer Engineering, 2003. </li>
<li> Vanderbilt Wilson L. and Nellie Pyle Miser Award, 2003. </li>
</ul>
<br>
<hr>
<br>
<a name="Talks"></a>
<big style="font-weight: bold;"><span style="color: rgb(10, 10, 142);">ACADEMIC PRESENTATIONS</span></big><br><br>
<big ><span style="color: rgb(63, 125, 232);">Conference Papers Presented</span></big><br>
<ul style="line-height:1.5;">
<li>Phase Transitions in Random Dyadic Tilings and Rectangular Dissections. <i>26th ACM-SIAM Symposiumon Discrete Algorithms</i>, January 2015. San Diego, CA.</li>
<li><a href="Talks/LAGOS13.pptx">Algorithms to Approximately Count and Sample Conforming Colorings of Graphs</a>. <i>VII Latin-American Algorithms,Graphs and Optimization Symposium</i>, April 2013. Playa del Carmen, Mexico.</li><li><a href="Talks/SODA13.pptx">Mixing Times of Markov chains for Self-Organizing Lists and Biased Permutations</a>. <i>24th ACM-SIAM Symposiumon Discrete Algorithms</i>, January 2013. New Orleans, LA.</li><li><a href="Talks/AofA12.pdf">Algorithms for Sampling 3-Orientations of Planar Triangulations</a>. <i>23rd International Meeting on Probabilistic,Combinatorial and Asymptotic Methods for the Analysis of Algorithms</i>, June 2012. Centre de Recherches Mathématiques,Montreal Canada.</li><li><a href="Talks/RANDOM11.pptx">Clustering in Interfering Binary Mixtures</a>. <i>15th International Workshop on Randomization and Computation</i>,August 2011. Princeton University, Princeton NJ.</li>
</ul>
<big ><span style="color: rgb(63, 125, 232);">Invited Talks</span></big><br>
<ul style="line-height:1.5;"><li>Phase Transitions in Random Dyadic Tilings and Rectangular Dissections. <i>IMA Workshop on the Power of Randomness in Computation</i>, March 2015. Georgia Institute of Technology, Atlanta, GA.</li><li>Mixing Times of Self-Organizing Lists and Biased Permutations. <i>21st International Symposium on MathematicalProgramming</i>, August 2012. Berlin Institute of Technology, Berlin Germany.</li><li><a href="Talks/PhaseTransitionWorkshop12.pptx">Mixing Times of Self-Organizing Lists and Biased Permutations</a>. <i>Workshop on Computation and Phase Transitions</i>,June 2012. Georgia Institute of Technology, Atlanta GA.</li>
</ul>
<big ><span style="color: rgb(63, 125, 232);">Contributed Talks and Department Presentations</span></big><br>
<ul style="line-height:1.5;">
<li>Mixing Times of Markov Chains for Self-Organizing Lists and Biased Permutations. <i>Joint Mathematics Meetings</i>, January 2014. Baltimore Convention Center, Baltimore, MD.</li>
<li>Avoidance Coupling. <i>Theory Reading Group</i>, October 2012. Georgia Institute of Technology, Atlanta, GA. </li>
<li>On Sampling 3-Orientations of Planar Triangulations. Georgia Institute of Technology Theory Student Seminar,September 2011. Georgia Institute of Technology, Atlanta, GA.</li><li><a href="Talks/RANDOM11.pptx">Clustering in Interfering Binary Mixtures</a>. <i>15th International Workshop on Randomization and Computation</i>,August 2011. Princeton University, Princeton NJ.</li><li>Sampling Adapted Colorings and Colloids. Georgia Institute of Technology Theory Student Seminar. April 2011.Georgia Institute of Technology, Atlanta, GA.</li>
</ul>
<big ><span style="color: rgb(63, 125, 232);">Poster Presentations</span></big><br>
<ul style="line-height:1.5;">
<li>Sampling Algorithms and Clustering in Discrete Colloid Models. NSF Mathematical and Physical Science Meeting, June2014. Georgia Institute of Technology, Atlanta, GA.</li>
<li>Mixing Times of Markov Chains for Biased Permutations. ACM Grace Hopper Student Research Competition, October2013. Grace Hopper Celebration, Minneapolis, MN.</li>
<li>Cluster Algorithms and Interfering Binary Mixtures. Algorithms and Randomness Center 5 (ARC 5), August2012. Georgia Institute of Technology, Atlanta GA.</li><li><a href="Posters/DOE-poster2012.pdf">Mixing Times of Self-Organizing Lists and Biased Permutations</a>. DOE SCGF Annual Research Meeting, July2012. Brookhaven National Laboratory, Long Island NY.</li><li><a href="Posters/3orientationposterROBIN.pdf">Sampling 3-Orientations of Triangulations</a>. Conference Honoring the 50th Birthday of Robin Thomas, May 2012.Georgia Institute of Technology, Atlanta GA.</li><li><a href="Posters/MSRI.pdf">Cluster Algorithms and Interfering Binary Mixtures</a>. Connections for Women: Discrete Lattice Models in Mathematics,Physics and Computing, January 2012. Mathematical Sciences Research Institute, Berkeley CA.</li><li><a href="Posters/DOE-poster2011.pdf">Cluster Algorithms for Discrete Models of Colloids</a>. DOE SCGF Annual Research Meeting, July 2011. Oak RidgeNational Laboratory, Oak Ridge TN.</li><li>Cluster Algorithms for Discrete Models of Colloids. Women in Theory, June 2010. Princeton University,Princeton NJ.</li>
</ul>
<br>
<hr>
<br>
-->
<a name="Professional"></a>
<big style="font-weight: bold;"><span style="color: rgb(10, 10, 142);">PROFESSIONAL EXPERIENCE<br></span></big>
<ul style="line-height:1.5;">
<li><span style="font-weight: bold;">Research Assistant</span>. Georgia Institute of Technology, Dr. Dana Randall, Atlanta, GA. 2009-2010.</li>
<i>Conducted original research, designed and implemented simulations and mentored younger students.</i>
<li><span style="font-weight: bold;">Web Support Manager</span>. National Instruments, Austin, TX. 2006-2008.</li>
<i>Managed a team responsible for the web support site, discussion forums and support-related applications</i>
<li><span style="font-weight: bold;">Engineering Leadership Program Team Manager</span>. National Instruments, Austin, TX. 2004-2006.</li>
<i>Managed 30 engineers. Acted as the liaison for the customer education department.</i>
<li><span style="font-weight: bold;">Engineering Leadership Program Engineer</span>. National Instruments, Austin, TX. 2003-2004.<br>
<i>Supported engineers using National Instruments products. Taught software classes to customers.</i></li>
</ul>
<br>
<hr>
<!--
<br>
<a name="Service"></a>
<big style="font-weight: bold;"><span style="color: rgb(10, 10, 142);">SELECTED SERVICE<br></span></big>
<br>
<big ><span style="color: rgb(63, 125, 232);">Professional Service</span></big><br>
<ul style="line-height:1.5;">
<li><span style="font-weight: bold;">Reviewer</span>. <a href="http://www.siam.org/meetings/da14/">ACM-SIAM Symposium on Discrete Algorithms (SODA)</a>, January 2014.</li>
<li><span style="font-weight: bold;">Reviewer</span>. <a href="http://www.siam.org/meetings/da11/">ACM-SIAM Symposium on Discrete Algorithms (SODA)</a>, January 2011.</li>
<li><span style="font-weight: bold;">Submission Software Coordinator</span>. ACM-SIAM Symposium on Discrete Algorithms (SODA), 2011.</li>
<li><span style="font-weight: bold;">Textbook Reviewer</span>. <i>The Nature of Computation</i>, Chapter 12 Random Walks and Rapid Mixing by
Cristopher Moore and Stephan Mertens, September 2009.</li>
</ul>
<big ><span style="color: rgb(63, 125, 232);">University Service</span></big><br>
<ul style="line-height:1.5;">
<li><span style="font-weight: bold;">Panel Member</span>. Georgia Institute of Technology PhD Visit Weekend, 2014.</li>
<li><span style="font-weight: bold;">Undergraduate Research Mentor</span>. Georgia Institute of Technology, 2012 and 2013.</li>
<li><span style="font-weight: bold;">Panel Member</span>. Georgia Institute of Technology School of Computer Science Graduate Student Panel, 2011, 2013.</li>
<li><span style="font-weight: bold;">Orientation and Tour Leader</span>. School of Computer Science Theory Lab, 2011, 2012 and 2013.</li>
<li><span style="font-weight: bold;">Co-Organizer</span>. School of Computer Science ADVANCE Women's Lunch, October 2012.</li>
<li><span style="font-weight: bold;">Chair of Daily Operations</span>. Vanderbilt University <a href="http://www.vanderbilt.edu/sarrattart/">Sarratt Art Studios</a>, 2002-2003.</li>
<li><span style="font-weight: bold;">Publicity and Women’s Center Chair</span>. Vanderbilt University Society of Women Engineers, 2000-2001.</li>
</ul>
<big ><span style="color: rgb(63, 125, 232);">Community Service</span></big><br>
<ul style="line-height:1.5;">
<li><span style="font-weight: bold;">Volunteer</span>. Georgia Award for Aspirations in Computing Event, 2014.</li>
<li><span style="font-weight: bold;">Founding Member</span>. Catherine Street Community Garden, 2009-Present.</li>
<li><span style="font-weight: bold;">Participant</span>. College of Computing Volunteer Day, March 2012.</li>
<li><span style="font-weight: bold;">Member</span>. Midway Woods Neighborhood Association Beautification Committee, 2010-2012.</li>
<li><span style="font-weight: bold;">Volunteer Teacher</span>. RoboLAB Programming, Valley View Elementary, 2004.</li>
</ul>
<br>
-->
</ul>
</body></html>