User:Caleb Stanford: Difference between revisions

Browse history interactively ← Previous editContent deleted Content addedVisual WikitextInline

Revision as of 00:24, 3 January 2024 editCaleb Stanford (talk \| contribs)Extended confirmed users3,679 edits userboxTag: 2017 wikitext editor ← Previous edit		Latest revision as of 23:28, 17 December 2024 edit undoCaleb Stanford (talk \| contribs)Extended confirmed users3,679 edits + Reality+Tag: 2017 wikitext editor
(27 intermediate revisions by the same user not shown)
Line 1:		Line 1:
	{{GA user topicon		{{GA user topicon
	\| article_name = ~~Yes~~ ~~(band~~)		\| article_name=Rust (programming language)
	\| date = ~~October~~ 14, 2022		\| date=July 14, 2022
	}}		}}
	{{GA user topicon		{{GA user topicon
	\| article_name = ~~Rust~~ (~~programming language~~)		\| article_name=Yes (band)
	\| date = ~~July~~ 14, 2022		\| date=October 14, 2022
			}}
			{{FL user topicon
			\| article_name=Turing Award
			\| date=May 8, 2024
	}}		}}
	{{Userboxtop}}		{{Userboxtop}}
	{{User:Will Pittenger/User Boxes/Wikipedia Since\|November 2009}}		{{User:Will Pittenger/User Boxes/Wikipedia Since\|November 2009}}
	{{User contrib\|~~2000\|articles=1000~~}}		{{User contrib\|3000}}
	{{User oops}}		{{User oops}}
	{{Template:user servertime}}
	{{Userboxgroup
	\|title=Biographical Details
	\|collapsed=True
	\|content=
	{{User Computer Scientist}}
	{{User published author}}
	{{user Philly}}
	{{User Utah\|came from}}
	{{User American}}
	{{User AmE}}
	}}
	{{Userboxgroup		{{Userboxgroup
	\|title=Wiki Information		\|title=Wiki Information
Line 28:		Line 20:
	\|content=		\|content=
	{{user real name}}		{{user real name}}
			{{WP:WPCS/userbox}}
			{{User Good Articles\|1}}
	{{User Ten Year Society}}		{{User Ten Year Society}}
	{{User wikipedia/WikiGnome}}		{{User wikipedia/WikiGnome}}
	{{User ~~singular they:Yes~~}}		{{User iar}}
	{{User AfD and AfC}}
	{{AFC status\|type=userbox}}
	}}		}}
	{{Userboxgroup		{{Userboxgroup
	\|title=~~WikiProjects~~		\|title=Travel
	\|collapsed=True		\|collapsed=True
	\|content=		\|content=
			{{User visited\|Austria\|Canada\|Denmark\|France\|Germany\|Greece\|Italy\|Luxembourg\|Mexico\|Poland\|Portugal\|Thailand\|United Kingdom\|United States\|Vatican City}}
	{{WP:WPCS/userbox}}
	{{User WP Logic}}
	{{User WP Math}}
	{{User WikiProject Philadelphia}}
	}}		}}
	{{Userboxgroup		{{Userboxgroup
	\|title=~~Programming~~		\|title=Biographical Details
	\|collapsed=True		\|collapsed=True
	\|content=		\|content=
			{{user California}}
	{{User:UBX/Programmer}}
	{{User ~~GitHub~~\|~~cdstanford~~}}		{{User Utah\|came from}}
	{{User ~~Rust~~}}		{{User American}}
	{{User py}}		{{User AmE}}
	{{User ~~c++~~}}		{{User Computer Scientist}}
	{{User re}}
	{{User bf-1}}
	}}
	{{Userboxgroup
	\|title=Countries Visited
	\|collapsed=True
	\|content=
	{{User visited\|United States\|Canada\|Portugal\|France\|Luxembourg\|Germany\|Poland\|Austria\|Italy\|Vatican City\|Thailand}}
	}}		}}
	{{Userboxbottom}}		{{Userboxbottom}}
Line 65:		Line 46:
	Hi! I'm an assistant professor of ] at ].		Hi! I'm an assistant professor of ] at ].

	My ~~primary~~ ~~academic~~ ~~interests~~ ~~are~~ in ]s and ]. I'm particularly interested in applications of these fields to problems in ], ], and ].		Academically, my primary expertise is in ]s and ]. I'm particularly interested in applications of these fields to problems in ], ], and ].

			On Misplaced Pages, I don't only edit computer-science-related pages, but I try to keep at least half of my editing work in pages that are relevant to my academic interests. I like to do both focused long-term maintenance of selected topics, and various ] work around fixing and cleaning miscellaneous pages. Some of the pages on which I have done more substantial work are included below.
	I graduated in August 2022 with my PhD in computer science at ] advised by ]. Before that, I got my ScB in math and computer science from ] in 2016.

			I graduated in August 2022 with my PhD in computer science at ] advised by ]. Before that, I got my ScB in from ] in 2016.

			You are welcome to get in touch with me by posting on ].

	== Selected Misplaced Pages contributions ==		== Selected Misplaced Pages contributions ==

			=== Primary and active projects ===

	{\| class="wikitable"		{\| class="wikitable"
Line 76:		Line 63:
	\| ]		\| ]
	\| Cleanup, Expansion		\| Cleanup, Expansion
			\| 2022–2024
	\| 2022, 2023
	{{class\|GA}}		{{class\|GA}}
	\|-		\|-
	\| ]		\| ]
	\| Cleanup, ]		\| Cleanup, ]
	\| 2022		\| 2022-2024
	{{class\|GA}}		{{class\|GA}}
	\|-		\|-
	\| ]		\| ]
	\| Expansion		\| Expansion
			\| 2021–2024
	\| 2021, 2022
	{{class\|B}}		{{class\|B}}
	\|-		\|-
	\| ]		\| ]
			\| Expansion{{refn\|group=note\|Collaborative project with an anonymous editor}}
	\| Minor cleanup
	\| ~~2022~~		\| 2024
			{{class\|B}}
			\|-
			\| ]
			\| Expansion
			\| 2024
	{{class\|C}}		{{class\|C}}
	\|-		\|-
	\| ]		\| ]
	\| Cleanup, Expansion		\| Cleanup, Expansion
	\| 2023		\| 2023-2024
	{{class\|~~Start~~}}		{{class\|C}}
	\|-		\|-
	\| ]		\| ]
	\| Expansion		\| Expansion
	\| 2023		\| 2023
	{{class\|~~Start~~}}		{{class\|C}}
	\|-		\|-
	\| ]		\| ]
			\| Creation,{{refn\|group=note\|From ]}} Expansion
	\| Expansion
	\| 2023		\| 2022, 2023
	{{class\|~~Start~~}}		{{class\|C}}
	\|-		\|-
	\| ]		\| ]
	\| Creation		\| Creation
			\| 2015, 2023
			{{class\|C}}
			\|-
			\| ]
			\| Creation,{{refn\|group=note\|From ]}} Expansion
	\| 2022		\| 2022
	{{class\|~~Start~~}}		{{class\|C}}
	\|-		\|-
	\| ]		\| ]
	\| Expansion		\| Expansion
	\| 2022		\| 2022
	{{class\|~~Start~~}}		{{class\|C}}
	\|-
	\| ]
	\| Creation,<ref group="note">From ]</ref> Expansion
	\| 2022, 2023
	{{class\|Start}}
	\|-
	\| ]
	\| Creation
	\| 2022
	{{class\|Start}}
	\|-		\|-
	\| ]		\| ]
	\| Creation		\| Creation
	\| 2021, 2022		\| 2021, 2022
	{{class\|~~Start~~}}		{{class\|C}}
	\|-		\|-
	\| ]		\| ]
	\| Creation		\| Creation
	\| 2021, 2022		\| 2021, 2022
			{{class\|C}}
			\|-
			\| ]
			\| Creation{{refn\|group=note\|Collaborative project with an anonymous editor}}
			\| 2024
			{{class\|Start}}
			\|-
			\|}

			=== Secondary ===

			{\| class="wikitable"
			! Article !! Contribution !! Year(s) !! Class
			\|-
			\| ]
			\| Miscellaneous
			\| 2022-2024
			{{class\|FL}}
			\|-
			\| ]
			\| Expansion
			\| 2022
			{{class\|B}}
			\|-
			\| ]
			\| Cleanup
			\| 2024
			{{class\|C}}
			\|-
			\| ]
			\| Edits
			\| 2024
			{{class\|C}}
			\|-
			\| ]
			\| Miscellaneous
			\| 2021-2023
			{{class\|C}}
			\|-
			\| ]
			\| Minor cleanup
			\| 2022
			{{class\|C}}
			\|-
			\| ]
			\| Creation
			\| 2022
			{{class\|C}}
			\|-
			\| ]
			\| Expansion
			\| 2023
	{{class\|Start}}		{{class\|Start}}
	\|-		\|-
Line 145:		Line 184:
	\|-		\|-
	\| ]		\| ]
	\| Translation~~<ref~~ group="note">From ]~~</ref>~~		\| Translation{{refn\|group=note\|From ]}}
	\| 2021		\| 2021
	{{class\|Start}}		{{class\|Start}}
Line 152:		Line 191:
	\| Creation		\| Creation
	\| 2015		\| 2015
	{{class\|Start}}
	\|-
	\| ]
	\| Creation
	\| 2015, 2023
	{{class\|Start}}		{{class\|Start}}
	\|-		\|-
	\| ]		\| ]
	\| Expansion~~<ref~~ group="note">From ]~~</ref>~~		\| Expansion{{refn\|group=note\|From ]}}
	\| 2022		\| 2022
	{{class\|List}}		{{class\|List}}
	\|-		\|-
			\| ]
	\| ]
			\| Expansion
	\| Translation<ref group="note">From ]</ref>
	\| 2021		\| 2021
	{{class\|List}}		{{class\|List}}
	\|-		\|-
			\| ]
	\| ]
			\| Translation{{refn\|group=note\|From ]}}
	\| Expansion
	\| 2021		\| 2021
	{{class\|List}}		{{class\|List}}
	\|-		\|-
	\| ]		\| ]
	\| Translation~~<ref~~ group="note">From ]~~</ref>~~		\| Translation{{refn\|group=note\|From ]}}
	\| 2017, 2021		\| 2017, 2021
	{{class\|List}}		{{class\|List}}
Line 183:		Line 217:
	== Useful pages ==		== Useful pages ==

			* ]
	* ]		* ]
	* ]		* ]

Latest revision as of 23:28, 17 December 2024

Userboxes

This user has been a Wikipedian since November 2009.

3,000+

This user has made more than 3,000 contributions to Misplaced Pages.

This user tries to do the right thing. If they make a mistake, please let them know.

Wiki Information

This user edits using
their real name.

This user is a member of WikiProject Computer science.

This user has helped promote a good article on Misplaced Pages.

This user has been editing Misplaced Pages for more than ten years.

This editor is a WikiGnome.

IAR

This user thinks the best rule on Misplaced Pages is Ignore All Rules.

Travel

This user has visited Austria.

This user has visited Canada.

This user has visited Denmark.

This user has visited France.

This user has visited Germany.

This user has visited Greece.

This user has visited Italy.

This user has visited Luxembourg.

This user has visited México.

This user has visited Poland.

This user has visited Portugal.

This user has visited Thailand.

This user has visited the United Kingdom.

This user has visited the United States of America.

This user has visited Vatican City.

Biographical Details

This user lives in or hails from the U.S. State of California.

This user came from the U.S. State of Utah.

This user is a citizen of the United States of America.

en-us
-N

This user is a native speaker of American English.

This user is a computer scientist.

Hi! I'm an assistant professor of computer science at UC Davis.

Academically, my primary expertise is in programming languages and formal methods. I'm particularly interested in applications of these fields to problems in data processing, distributed systems, and computer security.

On Misplaced Pages, I don't only edit computer-science-related pages, but I try to keep at least half of my editing work in pages that are relevant to my academic interests. I like to do both focused long-term maintenance of selected topics, and various WP:WikiGnome work around fixing and cleaning miscellaneous pages. Some of the pages on which I have done more substantial work are included below.

I graduated in August 2022 with my PhD in computer science at UPenn advised by Rajeev Alur. Before that, I got my ScB in math and computer science from Brown in 2016.

You are welcome to get in touch with me by posting on my talk page.

Selected Misplaced Pages contributions

Primary and active projects

Article	Contribution	Year(s)	Class
Rust (programming language)	Cleanup, Expansion	2022–2024	GA
Yes (band)	Cleanup, GAN	2022-2024	GA
Constant-recursive sequence	Expansion	2021–2024	B
The Substance	Expansion	2024	B
Snakebird (video game)	Expansion	2024	C
La Colombe Coffee Roasters	Cleanup, Expansion	2023-2024	C
Ackermann set theory	Expansion	2023	C
SAT solver	Creation, Expansion	2022, 2023	C
The Scholar of Moab	Creation	2015, 2023	C
Donald X. Vaccarino	Creation, Expansion	2022	C
E. Allen Emerson	Expansion	2022	C
Weighted automaton	Creation	2021, 2022	C
Oscar James Cooper	Creation	2021, 2022	C
Reality+	Creation	2024	Start

Secondary

Article	Contribution	Year(s)	Class
Turing Award	Miscellaneous	2022-2024	FL
Post's lattice	Expansion	2022	B
Preorder	Cleanup	2024	C
Cycle graph (algebra)	Edits	2024	C
Computer science	Miscellaneous	2021-2023	C
Stream processing	Minor cleanup	2022	C
Jinyoung Park (mathematician)	Creation	2022	C
Quotient type	Expansion	2023	Start
ACM SIGLOG	Expansion	2021	Start
Anand Pillay	Translation	2021	Start
Projective Set (game)	Creation	2015	Start
Yes discography	Expansion	2022	List
List of Pennsylvania state historical markers in Philadelphia County	Expansion	2021	List
Gödel Lecture	Translation	2021	List
Tarski Lectures	Translation	2017, 2021	List

Useful pages

Notes

Collaborative project with an anonymous editor
From Boolean satisfiability problem
From de:Donald X. Vaccarino
Collaborative project with an anonymous editor
From de:Anand Pillay (Logiker)
From Yes (band)
From de:Gödel-Lecturer
From fr:Conférences_Tarski

External links

Academic Website

Google Scholar

Twitter

GitHub

Blog

StackExchange

OEIS

Utah Math Olympiad

Categories: