Skip to content

Commit

Permalink
Small changes
Browse files Browse the repository at this point in the history
- Remove bibliography images
- Change homepage image to be square (not rounded)
- Fix width/height of member images to be uniformly 100px × 100px (without distortion)
- Change my research interests to be more generic
  • Loading branch information
ahubers committed Oct 11, 2024
1 parent 52bb316 commit 5053bf9
Show file tree
Hide file tree
Showing 5 changed files with 10 additions and 13 deletions.
14 changes: 5 additions & 9 deletions _bibliography/papers.bib
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ @inproceedings{EkiEtAl-PxTP-19
editor = {Giselle Reis and Haniel Barbosa},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {301},
publisher = {Open Publishing Association},
publisher = {Open Publishing Association}
}

@inproceedings{IngleHM22,
Expand All @@ -31,8 +31,7 @@ @inproceedings{IngleHM22
doi = {10.1145/3546189.3549923},
timestamp = {Sun, 12 Feb 2023 18:48:40 +0100},
biburl = {https://dblp.org/rec/conf/haskell/IngleHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
preview = {ptc.png}
bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{HubersM23,
Expand All @@ -44,8 +43,7 @@ @inproceedings{HubersM23
2023},
url = {https://doi.org/10.1145/3607843},
doi = {10.1145/3607843},
keywords = {generic programming, row polymorphism, extensible data types, qualified types, row types},
preview={rows.png}
keywords = {generic programming, row polymorphism, extensible data types, qualified types, row types}
}


Expand All @@ -58,8 +56,7 @@ @inproceedings{AbreuDHJMS23
MA, {USA} - January 18-20, 2023},
year = 2023,
doi = {10.1145/3571196},
url = {https://doi.org/10.1145/3571196},
preview={coq.png}
url = {https://doi.org/10.1145/3571196}
}


Expand All @@ -74,7 +71,6 @@ @InProceedings{BinderCICM24
publisher="Springer Nature Switzerland",
address="Cham",
pages="109--126",
isbn="978-3-031-66997-2",
preview={pick.png}
isbn="978-3-031-66997-2"
}

2 changes: 1 addition & 1 deletion _members/alex.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ pronouns: he/him
role: Graduate Student
subrole: Ph.D. Student
advisor: J. Garrett Morris
interests: Row type theories
interests: Programming Languages, Type Theory
email: ahubers@uiowa.edu
website: https://ahubers.github.io
photo: alex.jpg
Expand Down
2 changes: 1 addition & 1 deletion _pages/about.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ permalink: /
profile:
align: right
image: mlh.jpg
image_circular: true
image_circular: false
address: >
<p> Computational Logic Center</p>
<p>The University of Iowa</p>
Expand Down
3 changes: 2 additions & 1 deletion _sass/_member.scss
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,8 @@
border-radius: 50%;
height: 100px;
margin-right: $sp-4;
width: auto;
width: 100px;
object-fit: cover;
}

.anchor-heading {
Expand Down
2 changes: 1 addition & 1 deletion _site/feed.xml
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.3.2">Jekyll</generator><link href="https://clc.github.io/feed.xml" rel="self" type="application/atom+xml"/><link href="https://clc.github.io/" rel="alternate" type="text/html" hreflang="en"/><updated>2024-09-25T15:07:22+00:00</updated><id>https://clc.github.io/feed.xml</id><title type="html">The Computational Logic Center</title><subtitle></subtitle></feed>
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.3.2">Jekyll</generator><link href="https://clc.github.io/feed.xml" rel="self" type="application/atom+xml"/><link href="https://clc.github.io/" rel="alternate" type="text/html" hreflang="en"/><updated>2024-10-11T14:47:55+00:00</updated><id>https://clc.github.io/feed.xml</id><title type="html">The Computational Logic Center</title><subtitle></subtitle></feed>

0 comments on commit 5053bf9

Please sign in to comment.