Skip to content

Commit 0a50111

Browse files
sebastian-griegosebastian-griego
committed
Updated
1 parent c0dbe38 commit 0a50111

File tree

2 files changed

+85
-217
lines changed

2 files changed

+85
-217
lines changed

‎Snapchat-1305767540~2.jpg‎

120 KB
Loading

‎index.html‎

Lines changed: 85 additions & 217 deletions
Original file line numberDiff line numberDiff line change
@@ -5,270 +5,138 @@
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
66
<title>Sebastian Griego | Math</title>
77
<style>
8-
* {
9-
margin: 0;
10-
padding: 0;
11-
box-sizing: border-box;
12-
}
13-
148
body {
15-
font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Roboto', 'Helvetica', 'Arial', sans-serif;
9+
font-family: Georgia, 'Times New Roman', serif;
1610
line-height: 1.6;
17-
color: #333;
11+
color: #000;
1812
background: #fff;
19-
}
20-
21-
header {
22-
background: #fff;
23-
border-bottom: 1px solid #e0e0e0;
24-
position: fixed;
25-
width: 100%;
26-
top: 0;
27-
z-index: 1000;
28-
}
29-
30-
nav {
31-
max-width: 1000px;
32-
margin: 0 auto;
33-
padding: 1rem 2rem;
34-
display: flex;
35-
justify-content: space-between;
36-
align-items: center;
37-
}
38-
39-
.nav-name {
40-
font-size: 1.25rem;
41-
font-weight: 600;
42-
color: #333;
43-
text-decoration: none;
44-
}
45-
46-
.nav-links {
47-
display: flex;
48-
gap: 2rem;
49-
list-style: none;
50-
}
51-
52-
.nav-links a {
53-
color: #666;
54-
text-decoration: none;
55-
font-size: 0.95rem;
56-
transition: color 0.3s;
57-
}
58-
59-
.nav-links a:hover {
60-
color: #333;
61-
}
62-
63-
main {
6413
max-width: 800px;
6514
margin: 0 auto;
66-
padding: 2rem;
67-
margin-top: 80px;
15+
padding: 20px;
6816
}
6917

70-
.hero {
71-
padding: 4rem 0;
18+
.header {
7219
text-align: center;
20+
margin-bottom: 40px;
7321
}
7422

75-
.hero h1 {
76-
font-size: 2.5rem;
77-
font-weight: 700;
78-
margin-bottom: 1rem;
79-
color: #222;
23+
.header img {
24+
width: 150px;
25+
height: 150px;
26+
border-radius: 50%;
27+
object-fit: cover;
28+
margin-bottom: 20px;
8029
}
8130

82-
.hero .tagline {
83-
font-size: 1.25rem;
84-
color: #666;
85-
margin-bottom: 1.5rem;
31+
h1 {
32+
font-size: 24px;
33+
margin: 10px 0;
8634
}
8735

88-
.hero .institution {
89-
font-size: 1rem;
90-
color: #888;
36+
.tagline {
37+
font-size: 16px;
38+
color: #666;
39+
margin-bottom: 30px;
9140
}
9241

93-
section {
94-
margin: 4rem 0;
42+
h2 {
43+
font-size: 18px;
44+
margin: 30px 0 15px 0;
45+
border-bottom: 1px solid #ccc;
9546
}
9647

97-
h2 {
98-
font-size: 1.5rem;
99-
font-weight: 600;
100-
margin-bottom: 1.5rem;
101-
color: #333;
102-
border-bottom: 2px solid #f0f0f0;
103-
padding-bottom: 0.5rem;
48+
.about p {
49+
margin-bottom: 15px;
50+
text-align: justify;
10451
}
10552

106-
.about {
107-
font-size: 1rem;
108-
line-height: 1.8;
109-
color: #555;
53+
.projects {
54+
margin: 30px 0;
11055
}
11156

112-
.about p {
113-
margin-bottom: 1rem;
57+
.project {
58+
margin-bottom: 20px;
11459
}
11560

116-
.projects-grid {
117-
display: grid;
118-
grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
119-
gap: 1.5rem;
120-
margin-top: 2rem;
61+
.project h3 {
62+
font-size: 16px;
63+
margin-bottom: 5px;
12164
}
12265

123-
.project-card {
124-
border: 1px solid #e0e0e0;
125-
border-radius: 8px;
126-
padding: 1.5rem;
66+
.project a {
67+
color: #0000ff;
12768
text-decoration: none;
128-
color: inherit;
129-
transition: all 0.3s;
130-
background: #fafafa;
13169
}
13270

133-
.project-card:hover {
134-
border-color: #666;
135-
background: #fff;
136-
transform: translateY(-2px);
137-
box-shadow: 0 4px 12px rgba(0,0,0,0.08);
71+
.project a:hover {
72+
text-decoration: underline;
13873
}
13974

140-
.project-card h3 {
141-
font-size: 1.1rem;
142-
margin-bottom: 0.5rem;
75+
.project p {
76+
font-size: 14px;
14377
color: #333;
144-
}
145-
146-
.project-card p {
147-
font-size: 0.9rem;
148-
color: #666;
149-
line-height: 1.5;
78+
margin-bottom: 10px;
15079
}
15180

15281
.contact {
153-
text-align: center;
154-
padding: 2rem;
155-
background: #f8f8f8;
156-
border-radius: 8px;
82+
margin: 40px 0;
15783
}
15884

159-
.contact-links {
160-
display: flex;
161-
justify-content: center;
162-
gap: 2rem;
163-
margin-top: 1.5rem;
164-
}
165-
166-
.contact-links a {
167-
color: #666;
85+
.contact a {
86+
color: #0000ff;
16887
text-decoration: none;
169-
font-size: 0.95rem;
170-
transition: color 0.3s;
17188
}
17289

173-
.contact-links a:hover {
174-
color: #333;
90+
.contact a:hover {
17591
text-decoration: underline;
17692
}
17793

178-
footer {
179-
text-align: center;
180-
padding: 2rem;
181-
color: #999;
182-
font-size: 0.85rem;
183-
border-top: 1px solid #e0e0e0;
184-
margin-top: 4rem;
185-
}
186-
187-
@media (max-width: 768px) {
188-
nav {
189-
flex-direction: column;
190-
gap: 1rem;
191-
}
192-
193-
.nav-links {
194-
gap: 1.5rem;
195-
}
196-
197-
main {
198-
margin-top: 120px;
199-
}
200-
201-
.hero h1 {
202-
font-size: 2rem;
203-
}
204-
205-
.projects-grid {
206-
grid-template-columns: 1fr;
207-
}
208-
209-
.contact-links {
210-
flex-direction: column;
211-
gap: 1rem;
212-
}
94+
hr {
95+
margin: 40px 0;
96+
border: none;
97+
border-top: 1px solid #ccc;
21398
}
21499
</style>
215100
</head>
216101
<body>
217-
<header>
218-
<nav>
219-
<a href="#" class="nav-name">Sebastian Griego</a>
220-
<ul class="nav-links">
221-
<li><a href="#about">About</a></li>
222-
<li><a href="#projects">Projects</a></li>
223-
<li><a href="#contact">Contact</a></li>
224-
</ul>
225-
</nav>
226-
</header>
227-
228-
<main>
229-
<section class="hero">
230-
<h1>Sebastian Griego</h1>
231-
<p class="tagline">Mathematics Student</p>
232-
</section>
233-
234-
<section id="about" class="about">
235-
<h2>About</h2>
236-
<p>
237-
I enjoy working on projects that bridge pure mathematics with practical applications, particularly in areas involving
238-
algebraic structures, geometric visualization, and mathematical education.
239-
</p>
240-
<p>
241-
Currently, I am focused on training large language models to improve their mathematical proof formalization capabilities in Lean.
242-
I am particularly interested in enhancing LLMs' proof-solving abilities and developing better methods for automated theorem proving.
243-
</p>
244-
</section>
245-
246-
<section id="projects">
247-
<h2>Software</h2>
248-
<div class="projects-grid">
249-
<a href="https://github.com/sebastian-griego/BetterFFTW" class="project-card" target="_blank">
250-
<h3>BetterFFTW</h3>
251-
<p>High-performance wrapper around pyFFTW with automatic optimization and drop-in NumPy/SciPy FFT replacement.</p>
252-
</a>
253-
<a href="https://github.com/sebastian-griego/pycontinuum" class="project-card" target="_blank">
254-
<h3>PyContinuum</h3>
255-
<p>Pure Python library for solving polynomial systems using numerical homotopy continuation methods.</p>
256-
</a>
257-
<a href="https://github.com/sebastian-griego/Mazewright" class="project-card" target="_blank">
258-
<h3>Mazewright</h3>
259-
<p>Python library for generating and manipulating mazes with various algorithms and customization options.</p>
260-
</a>
261-
</div>
262-
</section>
263-
264-
<section id="contact" class="contact">
265-
<h2>Contact</h2>
266-
<div class="contact-links">
267-
<a href="mailto:[email protected]">[email protected]</a>
268-
</div>
269-
</section>
270-
271-
</main>
102+
<div class="header">
103+
<img src="Snapchat-1305767540~2.jpg" alt="Sebastian Griego">
104+
<h1>Sebastian Griego</h1>
105+
<p class="tagline">Math Student</p>
106+
</div>
107+
108+
<h2>About</h2>
109+
<div class="about">
110+
<p>
111+
I enjoy working on projects that bridge pure mathematics with practical applications, particularly in areas involving
112+
algebraic structures, geometric visualization, and mathematical education. I also have significant experience in mathematical biology and disease modeling. I have done research using physics-informed neural networks to model HIV infection dynamics.
113+
</p>
114+
<p>
115+
Currently, I'm interested in LLM-assisted theorem proving in Lean 4, including both autoformalization and direct proof synthesis from formal statements. My goal is to explore how language models can accelerate mathematical formalization and verification workflows. I spend much of my time working on these types of problems.
116+
</p>
117+
</div>
118+
119+
<h2>Software</h2>
120+
<div class="projects">
121+
<div class="project">
122+
<h3><a href="https://github.com/sebastian-griego/BetterFFTW" target="_blank">BetterFFTW</a></h3>
123+
<p>High-performance wrapper around pyFFTW with automatic optimization and drop-in NumPy/SciPy FFT replacement.</p>
124+
</div>
125+
<div class="project">
126+
<h3><a href="https://github.com/sebastian-griego/pycontinuum" target="_blank">PyContinuum</a></h3>
127+
<p>Pure Python library for solving polynomial systems using numerical homotopy continuation methods.</p>
128+
</div>
129+
<div class="project">
130+
<h3><a href="https://github.com/sebastian-griego/Mazewright" target="_blank">Mazewright</a></h3>
131+
<p>Python library for generating and manipulating mazes with various algorithms and customization options.</p>
132+
</div>
133+
</div>
134+
135+
<hr>
136+
137+
<div class="contact">
138+
<a href="mailto:[email protected]">[email protected]</a>
139+
</div>
272140

273141
</body>
274142
</html>

0 commit comments

Comments
 (0)