<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://murray.cds.caltech.edu/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Rsatija</id>
	<title>Murray Wiki - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://murray.cds.caltech.edu/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Rsatija"/>
	<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/Special:Contributions/Rsatija"/>
	<updated>2026-05-22T09:24:06Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.44.2</generator>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=File:Expression_@_30C_and_37C_pelleted.png&amp;diff=17501</id>
		<title>File:Expression @ 30C and 37C pelleted.png</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=File:Expression_@_30C_and_37C_pelleted.png&amp;diff=17501"/>
		<updated>2014-06-10T08:37:29Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: Pelleted cultures with different RNA Thermometers grown overnight at different temperatures&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Pelleted cultures with different RNA Thermometers grown overnight at different temperatures&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=File:U9.PNG&amp;diff=17500</id>
		<title>File:U9.PNG</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=File:U9.PNG&amp;diff=17500"/>
		<updated>2014-06-10T08:34:30Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: OD and GFP Expression Profiles of U9 during first expression experiment @ 30C and 37C.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;OD and GFP Expression Profiles of U9 during first expression experiment @ 30C and 37C.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=File:U8.PNG&amp;diff=17499</id>
		<title>File:U8.PNG</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=File:U8.PNG&amp;diff=17499"/>
		<updated>2014-06-10T08:34:13Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: OD and GFP Expression Profiles of U8 during first expression experiment @ 30C and 37C.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;OD and GFP Expression Profiles of U8 during first expression experiment @ 30C and 37C.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=File:U6.PNG&amp;diff=17498</id>
		<title>File:U6.PNG</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=File:U6.PNG&amp;diff=17498"/>
		<updated>2014-06-10T08:33:18Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: OD and GFP Expression Profiles of U6 during first expression experiment @ 30C and 37C.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;OD and GFP Expression Profiles of U6 during first expression experiment @ 30C and 37C.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=File:U2.PNG&amp;diff=17497</id>
		<title>File:U2.PNG</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=File:U2.PNG&amp;diff=17497"/>
		<updated>2014-06-10T08:31:36Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: OD and GFP Expression Profiles of U2 during first expression experiment @ 30C and 37C.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;OD and GFP Expression Profiles of U2 during first expression experiment @ 30C and 37C.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=File:U0.PNG&amp;diff=17496</id>
		<title>File:U0.PNG</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=File:U0.PNG&amp;diff=17496"/>
		<updated>2014-06-10T08:28:31Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: OD and GFP Expression Profiles of U0 during first expression experiment @ 30C and 37C.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;OD and GFP Expression Profiles of U0 during first expression experiment @ 30C and 37C.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=SURF_2014:_Fabricating_a_Toolbox_of_RNA_Thermometers&amp;diff=17495</id>
		<title>SURF 2014: Fabricating a Toolbox of RNA Thermometers</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=SURF_2014:_Fabricating_a_Toolbox_of_RNA_Thermometers&amp;diff=17495"/>
		<updated>2014-06-10T06:31:53Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&#039;&#039;&#039;[[SURF 2014|2014 SURF]] project description&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* Mentor: Richard Murray&lt;br /&gt;
* Co-mentor: Shaunak Sen&lt;br /&gt;
&lt;br /&gt;
[[File:Zipper%2BSwitch_image.png‎|frame|Fig. 1. a) The RNA thermometer structure melts at higher temperature (open configuration) and re-natures to a closed configuration on again reducing the temperature (like a zipper). b) A switch-like RNA thermometer has two mutually exclusive secondary structures that switch between the two states based on temperature.]]&lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;Overview:&#039;&#039;&#039; RNA Thermometers (RNATs) are mRNA sequences that change their secondary structures on the basis of temperature. Natural RNATs are usually present upstream of genes and regulate their rate of translation by revealing or hiding the Ribosome Binding Site (RBS) at different temperatures. Two common types of RNATs [4] are:&lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;a) Switch-type: These RNATs ‘switch’ between two mutually exclusive secondary structures at different temperatures. One example is the cIII switch found in λ phage viruses.&lt;br /&gt;
&amp;lt;br&amp;gt;b) Zipper-like: These are simple stem-loop structures which melt at higher temperatures and re-anneal at lower temperature. Examples include the ROSE (Repression Of heat Shock gene Expression) elements in many bacteria.&lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Previous studies [1] [3] have shown how simple ‘zipper-like’ RNATs can be synthesized de novo. It is possible to alter the structures of these RNATs and observe temperature sensitivity of gene expression with respect to these changes. I will be working on developing a toolkit of RNATs with different threshold values of gene expression in relation to changes in temperature. Further, I will be demonstrating the utility of our toolkit through a simple gene circuit.&lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;Goals:&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;1. Validating putative synthetic RNATs [1] in vitro using the Transcription-Translation toolkit (TXTL) [5] and coming up with new designs based on free energy estimation using Mfold [2] as well as testing them in vitro&lt;br /&gt;
&amp;lt;br&amp;gt;2. Testing these novel RNAT designs in vivo&lt;br /&gt;
&amp;lt;br&amp;gt;3. Application of the toolkit in construction of a gene circuit that gives a temperature-compensated output for a given input&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Required Skills:&#039;&#039;&#039; This project requires experience in molecular biology techniques and cloning. Also, understanding of as well as interest in synthetic biology and computation modeling is a pre-requisite.&lt;br /&gt;
&lt;br /&gt;
=== References ===&lt;br /&gt;
&lt;br /&gt;
[1] J. Neupert, D. Karcher, R. Bock. “Design of simple synthetic RNA thermometers for temperature-controlled gene expression in Escherichia coli.” Nucleic Acids Res. (2008): 36(19).&lt;br /&gt;
&lt;br /&gt;
[2] http://mfold.rna.albany.edu/?q=mfold (accessed date: 05-30-14).&lt;br /&gt;
&lt;br /&gt;
[3] J. Neupert, R. Bock. &amp;quot;Designing and using synthetic RNA thermometers for temperature-controlled gene expression in bacteria.&amp;quot; Nature protocols 4.9 (2009): 1262-1273.&lt;br /&gt;
&lt;br /&gt;
[4] J. Kortmann, F. Narberhaus. “Bacterial RNA thermometers: molecular zippers and switches.” Nature Reviews Microbiology 10 (2012): 255-265.&lt;br /&gt;
&lt;br /&gt;
[5] ZZ. Sun, CA. Hayes, J. Shin, F. Caschera, RM. Murray, V. Noireaux. &amp;quot;Protocols for implementing an Escherichia coli based TX-TL cell-free expression system for synthetic biology.&amp;quot; JoVE (Journal of Visualized Experiments) 79 (2013): e50762-e50762.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=SURF_2014:_Fabricating_a_Toolbox_of_RNA_Thermometers&amp;diff=17494</id>
		<title>SURF 2014: Fabricating a Toolbox of RNA Thermometers</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=SURF_2014:_Fabricating_a_Toolbox_of_RNA_Thermometers&amp;diff=17494"/>
		<updated>2014-06-10T06:31:09Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: Created page with &amp;quot;&amp;#039;&amp;#039;&amp;#039;2014 SURF project description&amp;#039;&amp;#039;&amp;#039;  * Mentor: Richard Murray * Co-mentor: Shaunak Sen  [[File:Zipper%2BSwitch_image.png‎|frame|Fig. 1. a) The RNA thermometer ...&amp;quot;&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&#039;&#039;&#039;[[SURF 2014|2014 SURF]] project description&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* Mentor: Richard Murray&lt;br /&gt;
* Co-mentor: Shaunak Sen&lt;br /&gt;
&lt;br /&gt;
[[File:Zipper%2BSwitch_image.png‎|frame|Fig. 1. a) The RNA thermometer structure melts at higher temperature (open configuration) and re-natures to a closed configuration on again reducing the temperature (like a zipper). b) A switch-like RNA thermometer has two mutually exclusive secondary structures that switch between the two states based on temperature.]]&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Overview:&#039;&#039;&#039; RNA Thermometers (RNATs) are mRNA sequences that change their secondary structures on the basis of temperature. Natural RNATs are usually present upstream of genes and regulate their rate of translation by revealing or hiding the Ribosome Binding Site (RBS) at different temperatures. Two common types of RNATs [4] are:&lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;a) Switch-type: These RNATs ‘switch’ between two mutually exclusive secondary structures at different temperatures. One example is the cIII switch found in λ phage viruses.&lt;br /&gt;
&amp;lt;br&amp;gt;b) Zipper-like: These are simple stem-loop structures which melt at higher temperatures and re-anneal at lower temperature. Examples include the ROSE (Repression Of heat Shock gene Expression) elements in many bacteria.&lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Previous studies [1] [3] have shown how simple ‘zipper-like’ RNATs can be synthesized de novo. It is possible to alter the structures of these RNATs and observe temperature sensitivity of gene expression with respect to these changes. I will be working on developing a toolkit of RNATs with different threshold values of gene expression in relation to changes in temperature. Further, I will be demonstrating the utility of our toolkit through a simple gene circuit.&lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;Goals:&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;1. Validating putative synthetic RNATs [1] in vitro using the Transcription-Translation toolkit (TXTL) [5] and coming up with new designs based on free energy estimation using Mfold [2] as well as testing them in vitro&lt;br /&gt;
&amp;lt;br&amp;gt;2. Testing these novel RNAT designs in vivo&lt;br /&gt;
&amp;lt;br&amp;gt;3. Application of the toolkit in construction of a gene circuit that gives a temperature-compensated output for a given input&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Required Skills:&#039;&#039;&#039; This project requires experience in molecular biology techniques and cloning. Also, understanding of as well as interest in synthetic biology and computation modeling is a pre-requisite.&lt;br /&gt;
&lt;br /&gt;
=== References ===&lt;br /&gt;
&lt;br /&gt;
[1] J. Neupert, D. Karcher, R. Bock. “Design of simple synthetic RNA thermometers for temperature-controlled gene expression in Escherichia coli.” Nucleic Acids Res. (2008): 36(19).&lt;br /&gt;
&lt;br /&gt;
[2] http://mfold.rna.albany.edu/?q=mfold (accessed date: 05-30-14).&lt;br /&gt;
&lt;br /&gt;
[3] J. Neupert, R. Bock. &amp;quot;Designing and using synthetic RNA thermometers for temperature-controlled gene expression in bacteria.&amp;quot; Nature protocols 4.9 (2009): 1262-1273.&lt;br /&gt;
&lt;br /&gt;
[4] J. Kortmann, F. Narberhaus. “Bacterial RNA thermometers: molecular zippers and switches.” Nature Reviews Microbiology 10 (2012): 255-265.&lt;br /&gt;
&lt;br /&gt;
[5] ZZ. Sun, CA. Hayes, J. Shin, F. Caschera, RM. Murray, V. Noireaux. &amp;quot;Protocols for implementing an Escherichia coli based TX-TL cell-free expression system for synthetic biology.&amp;quot; JoVE (Journal of Visualized Experiments) 79 (2013): e50762-e50762.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=File:Zipper%2BSwitch_image.png&amp;diff=17493</id>
		<title>File:Zipper+Switch image.png</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=File:Zipper%2BSwitch_image.png&amp;diff=17493"/>
		<updated>2014-06-10T06:15:52Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: a) The RNA thermometer structure melts at higher temperature (open configuration) and re-natures to a closed configuration on again reducing the temperature (like a zipper). b) A switch-like RNA thermometer has two mutually exclusive secondary structur...&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;a) The RNA thermometer structure melts at higher temperature (open configuration) and re-natures to a closed configuration on again reducing the temperature (like a zipper). b) A switch-like RNA thermometer has two mutually exclusive secondary structures that switch between the two states based on temperature.&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=SURF_2014&amp;diff=17492</id>
		<title>SURF 2014</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=SURF_2014&amp;diff=17492"/>
		<updated>2014-06-10T04:58:22Z</updated>

		<summary type="html">&lt;p&gt;Rsatija: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;This page is intended for students interested in working on SURF projects in the Summer of 2014.  It contains a list of project areas where I will be supervising projects this year along with information about how to apply for a SURF project in my group. __NOTOC__&lt;br /&gt;
&lt;br /&gt;
=== Meetings on 17-20 June ===&lt;br /&gt;
{| border=1 width=100%&lt;br /&gt;
|- valign=top&lt;br /&gt;
| width=25% |&lt;br /&gt;
===== Tue (17 Jun) =====&lt;br /&gt;
* SURF orientation&lt;br /&gt;
| width=25% |&lt;br /&gt;
===== Wed (18 Jun) =====&lt;br /&gt;
* 10:00 - Meeting with co-mentors, 114 Steele Lab&lt;br /&gt;
** Biocircuits: lab orientation/cleanup&lt;br /&gt;
* 12:00 - SURF seminar&lt;br /&gt;
* 1:30 - Caltech safety briefing (mandatory)&lt;br /&gt;
| width=25% |&lt;br /&gt;
===== Thu (19 Jun) =====&lt;br /&gt;
* First full day with co-mentors&lt;br /&gt;
| width=25% |&lt;br /&gt;
===== Fri (20 Jun) =====&lt;br /&gt;
* 1:00-3:00  - SURF group meeting with Richard and co-mentors, 114 Steele&lt;br /&gt;
** 1 chart overviews (5 min each)&lt;br /&gt;
|}&lt;br /&gt;
&lt;br /&gt;
== Students ==&lt;br /&gt;
{| width=100% border=1&lt;br /&gt;
|-&lt;br /&gt;
| Student&lt;br /&gt;
| Subgroup&lt;br /&gt;
| Co-mentor(s)&lt;br /&gt;
| Project&lt;br /&gt;
|-&lt;br /&gt;
| Mattias Falt || NCS || Vasu || {{SURF entry|2014|Invariant Refinement for Receding Horizon Temporal Logic Planning}}&lt;br /&gt;
|-&lt;br /&gt;
| Anton Frisk || Biocircuits || Clare, Vipul || {{SURF entry|2014|Rapid prototyping of moderate complexity biomolecular circuits}} &lt;br /&gt;
|-&lt;br /&gt;
| Joaquin Gabaldon || NCS || Ioannis || {{SURF entry|2014|Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers}}&lt;br /&gt;
|-&lt;br /&gt;
| Joon Sik (David) Kim [starts in Jul] || NCS || Vasu || {{SURF entry|2014|Invariant Refinement for Receding Horizon Temporal Logic Planning}}&lt;br /&gt;
|-&lt;br /&gt;
| Pulkit Malik || Biocircuits || Clare, Vipul || {{SURF entry|2014|Rapid prototyping of moderate complexity biomolecular circuits}} &lt;br /&gt;
|-&lt;br /&gt;
| Robert Mattila || NCS || Yilin || {{SURF entry|2014|Improved methods of discretization for temporal logic planning}} &lt;br /&gt;
|-&lt;br /&gt;
| Linnea Persson || NCS || Scott || {{SURF entry|2014|Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed}} &lt;br /&gt;
|-&lt;br /&gt;
| Rohit Satija || Biocircuits || S. Sen || {{SURF entry|2014|Fabricating a Toolbox of RNA Thermometers}}&lt;br /&gt;
|-&lt;br /&gt;
| Samriddhi Sharma || NCS || Ioannis || {{SURF entry|2014|Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers}}&lt;br /&gt;
|-&lt;br /&gt;
| Tiffany Zhou || Biocircuits || Clare, Vipul || {{SURF entry|2014|Rapid prototyping of moderate complexity biomolecular circuits}} &lt;br /&gt;
|}&lt;br /&gt;
&lt;br /&gt;
=== Applying for a SURF project ===&lt;br /&gt;
&lt;br /&gt;
Because I get many students interested in doing SURFs in my group and because we have several projects available, we use the first few weeks in January to sort out who we will work with in writing proposals.  We only submit one proposal per project area and so we often can&#039;t accommodate everyone who wants to work in my group over the summer.&lt;br /&gt;
&lt;br /&gt;
# A list of SURF project descriptions is given in the table below.  Due to the number of SURF projects that we support, we are only able to support students who select from among these projects.  Please make sure to read the project descriptions, required skills (if any)  and skim a few of the listed references before contacting me about doing a SURF project.  &lt;br /&gt;
# Students interested in writing proposals for SURF projects should contact me via e-mail by 10 Jan (Fri) and provide the following information:&lt;br /&gt;
#* A list of up to three SURF projects from the list below that you are interested in working on&lt;br /&gt;
#* A one page resume listing relevant experience and coursework&lt;br /&gt;
#* If you are not a Caltech student, I will also need the following additional information:&lt;br /&gt;
#** An unofficial copy of your academic transcript&lt;br /&gt;
#** Names of two faculty members at your current institution that I can contact for a reference&lt;br /&gt;
# Starting on 11 January, I will go through all applications and work with my group to identify who is a possible fit for each project.  We will then contact you and ask for you to meet (or talk with) possible co-mentors so that we can eventually work out who we will work with in writing up a proposal.&lt;br /&gt;
# We hope to make final decisions on projects by about 20 Jan, at which point we will start working with students on writing up proposals.&lt;br /&gt;
# All applications should go through the normal SURF application process, described at www.surf.caltech.edu.  SURF applications are due on 22 Feb 2014.&lt;br /&gt;
# If you are selected for a SURF, please be aware of the following information&lt;br /&gt;
#* All SURF projects in my group will start on 17 Jun (Tue).  If you can&#039;t start on that date, please make sure that you indicate this when you contact me&lt;br /&gt;
#* All SURF projects are for a minimum of 10 weeks, although I usually recommend that you try to stay for 12 weeks if possible (at no additional pay).  It&#039;s hard to complete a project in just 10 weeks and spending a few extra weeks can greatly improve the project.&lt;br /&gt;
#* All SURF students in my group will be expected to devote full-time effort to their SURF project, so you cannot have a second job in addition to your SURF.&lt;br /&gt;
&lt;br /&gt;
=== List of available projects ===&lt;br /&gt;
&lt;br /&gt;
{| border=1 width=100%&lt;br /&gt;
|-&lt;br /&gt;
| &#039;&#039;&#039;Title&#039;&#039;&#039; || &#039;&#039;&#039;Grant/Project&#039;&#039;&#039; || &#039;&#039;&#039;Co-Mentors&#039;&#039;&#039; || &#039;&#039;&#039;Comments&#039;&#039;&#039;&lt;br /&gt;
|-&lt;br /&gt;
| {{SURF entry|2014|Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed}} &lt;br /&gt;
| [[ICyPhy:_Industrial_Cyber-Physical_Systems|iCyPhy]]&lt;br /&gt;
| [http://scottman.net Scott C. Livingston]&lt;br /&gt;
|&lt;br /&gt;
|-&lt;br /&gt;
| {{SURF entry|2014|Improved methods of discretization for temporal logic planning}} &lt;br /&gt;
| [[ICyPhy:_Industrial_Cyber-Physical_Systems|iCyPhy]]&lt;br /&gt;
| Yilin Mo&lt;br /&gt;
|&lt;br /&gt;
|-&lt;br /&gt;
| {{SURF entry|2014|Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers}}&lt;br /&gt;
| [[The_TerraSwarm_Research_Center|TerraSwarm]]&lt;br /&gt;
| [http://www.cds.caltech.edu/~ifilippi/ Ioannis Filippidis]&lt;br /&gt;
|&lt;br /&gt;
|-&lt;br /&gt;
| {{SURF entry|2014|Rapid prototyping of moderate complexity biomolecular circuits}} &lt;br /&gt;
| [[Biomolecular_Breadboards_for_Prototyping_and_Debugging_Synthetic_Biocircuits|DARPA Breadboards]]&lt;br /&gt;
| Richard Murray, Clare Hayes&lt;br /&gt;
| Multiple positions available (2-4)&lt;br /&gt;
|&lt;br /&gt;
|-&lt;br /&gt;
| {{SURF entry|2014|Invariant Refinement for Receding Horizon Temporal Logic Planning}}&lt;br /&gt;
| [[The_TerraSwarm_Research_Center|TerraSwarm]]&lt;br /&gt;
| [http://users.cms.caltech.edu/~vasu/ Vasu Raman]&lt;br /&gt;
|&lt;br /&gt;
|}&lt;/div&gt;</summary>
		<author><name>Rsatija</name></author>
	</entry>
</feed>