User:Caleb Stanford: Difference between revisions

Browse history interactively ← Previous edit Next edit →Content 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		Revision as of 00:26, 3 January 2024 edit undoCaleb Stanford (talk \| contribs)Extended confirmed users3,679 edits tempfixTag: 2017 wikitext editor Next edit →
Line 12:		Line 12:
	{{User oops}}		{{User oops}}
	{{Template:user servertime}}		{{Template:user servertime}}
	{{Userboxgroup
	\|title=Biographical Details
	\|collapsed=True
	\|content=
	{{User Computer Scientist}}		{{User Computer Scientist}}
	{{User published author}}		{{User published author}}
Line 22:		Line 18:
	{{User American}}		{{User American}}
	{{User AmE}}		{{User AmE}}
	}}
	{{Userboxgroup
	\|title=Wiki Information
	\|collapsed=True
	\|content=
	{{user real name}}		{{user real name}}
	{{User Ten Year Society}}		{{User Ten Year Society}}
Line 33:		Line 24:
	{{User AfD and AfC}}		{{User AfD and AfC}}
	{{AFC status\|type=userbox}}		{{AFC status\|type=userbox}}
	}}
	{{Userboxgroup
	\|title=WikiProjects
	\|collapsed=True
	\|content=
	{{WP:WPCS/userbox}}		{{WP:WPCS/userbox}}
	{{User WP Logic}}		{{User WP Logic}}
	{{User WP Math}}		{{User WP Math}}
	{{User WikiProject Philadelphia}}		{{User WikiProject Philadelphia}}
	}}
	{{Userboxgroup
	\|title=Programming
	\|collapsed=True
	\|content=
	{{User:UBX/Programmer}}		{{User:UBX/Programmer}}
	{{User GitHub\|cdstanford}}		{{User GitHub\|cdstanford}}
Line 54:		Line 35:
	{{User re}}		{{User re}}
	{{User bf-1}}		{{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}}		{{User visited\|United States\|Canada\|Portugal\|France\|Luxembourg\|Germany\|Poland\|Austria\|Italy\|Vatican City\|Thailand}}
	}}
	{{Userboxbottom}}		{{Userboxbottom}}

Revision as of 00:26, 3 January 2024

Userboxes

This user has been a Wikipedian since November 2009.

2,000+

This user has made more than 2,000 contributions to Misplaced Pages, over 1,000 of which were to articles.

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

It is 13:42:21 on January 1, 2025, according to the server's time and date.

This user is a computer scientist.

This user has published peer-reviewed articles in academic journals.

This user lives in or hails from Philadelphia.

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 edits using
their real name.

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

This editor is a WikiGnome.

they

This user considers singular they standard English usage.

This user works at AfD and AfC.

2+ months

There are 1,786 pending submissions pending AfC submissions.

This user is a member of WikiProject Computer science.

This user is a participant in the
Logic task force.

This user is a participant in
WikiProject Mathematics.

This user is working on
WikiProject Philadelphia.

This user is a programmer.

This user has an account on GitHub.

This user can program in Rust.

This user can program in Python.

C++

This user can program in C++.

This user writes regular expressions.

bf-1

This user is a beginning Brainfuck programmer.

This user has visited the United States of America.

This user has visited Canada.

This user has visited Portugal.

This user has visited France.

This user has visited Luxembourg.

This user has visited Germany.

This user has visited Poland.

This user has visited Austria.

This user has visited Italy.

This user has visited Vatican City.

This user has visited Thailand.

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

My primary academic interests are 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.

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 University in 2016.

Selected Misplaced Pages contributions

Article	Contribution	Year(s)	Class
Rust (programming language)	Cleanup, Expansion	2022, 2023	GA
Yes (band)	Cleanup, GAN	2022	GA
Constant-recursive sequence	Expansion	2021, 2022	B
Stream processing	Minor cleanup	2022	C
La Colombe Coffee Roasters	Cleanup, Expansion	2023	Start
Ackermann set theory	Expansion	2023	Start
Quotient type	Expansion	2023	Start
Donald X. Vaccarino	Creation	2022	Start
E. Allen Emerson	Expansion	2022	Start
SAT solver	Creation, Expansion	2022, 2023	Start
Jinyoung Park (mathematician)	Creation	2022	Start
Weighted automaton	Creation	2021, 2022	Start
Oscar James Cooper	Creation	2021, 2022	Start
ACM SIGLOG	Expansion	2021	Start
Anand Pillay	Translation	2021	Start
Projective Set (game)	Creation	2015	Start
The Scholar of Moab	Creation	2015, 2023	Start
Yes discography	Expansion	2022	List
Gödel Lecture	Translation	2021	List
List of Pennsylvania state historical markers in Philadelphia County	Expansion	2021	List
Tarski Lectures	Translation	2017, 2021	List

Useful pages

Notes

External links

Academic Website

Google Scholar

Twitter

GitHub

Blog

StackExchange

OEIS

Utah Math Olympiad

Categories: