Skip to content

Commit cd15b14

Browse files
authored
Updated post
1 parent 8d2a111 commit cd15b14

4 files changed

Lines changed: 73 additions & 4 deletions

File tree

content/authors/Jan Oliver Ringert/_index.md

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -68,6 +68,4 @@ highlight_name: false
6868
# Set this to `[]` or comment out if you are not using People widget.
6969
user_groups:
7070
- Researchers
71-
---
72-
73-
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed neque elit, tristique placerat feugiat ac, facilisis vitae arcu. Proin eget egestas augue. Praesent ut sem nec arcu pellentesque aliquet. Duis dapibus diam vel metus tempus vulputate.
71+
---
Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,71 @@
1+
---
2+
# Display name
3+
title: Soaibuzzaman
4+
5+
# Full Name (for SEO)
6+
first_name: ''
7+
last_name: Soaibuzzaman
8+
9+
# Is this the primary user of the site?
10+
superuser: false
11+
12+
# Role/position
13+
role: PhD Candidate | Research Associate
14+
15+
# Organizations/Affiliations
16+
organizations:
17+
- name: Bauhaus-Universität Weimar
18+
url: 'https://www.uni-weimar.de/de/medien/professuren/medieninformatik/software-engineering/people/'
19+
20+
# Short bio (displayed in user profile at end of posts)
21+
bio: TBA
22+
23+
interests:
24+
- TBA
25+
26+
education:
27+
# courses:
28+
# - course: PhD in Artificial Intelligence
29+
# institution: Stanford University
30+
# year: 2012
31+
# - course: MEng in Artificial Intelligence
32+
# institution: Massachusetts Institute of Technology
33+
# year: 2009
34+
# - course: BSc in Artificial Intelligence
35+
# institution: Massachusetts Institute of Technology
36+
# year: 2008
37+
38+
# Social/Academic Networking
39+
# For available icons, see: https://docs.hugoblox.com/getting-started/page-builder/#icons
40+
# For an email link, use "fas" icon pack, "envelope" icon, and a link in the
41+
# form "mailto:your-email@example.com" or "#contact" for contact widget.
42+
social:
43+
# - icon: envelope
44+
# icon_pack: fas
45+
# link: 'mailto:test@example.org'
46+
# - icon: twitter
47+
# icon_pack: fab
48+
# link: https://twitter.com/GeorgeCushen
49+
# - icon: google-scholar
50+
# icon_pack: ai
51+
# link: https://scholar.google.co.uk/citations?user=sIwtMXoAAAAJ
52+
- icon: github
53+
icon_pack: fab
54+
link: https://github.com/soaib
55+
# Link to a PDF of your resume/CV from the About widget.
56+
# To enable, copy your resume/CV to `static/files/cv.pdf` and uncomment the lines below.
57+
# - icon: cv
58+
# icon_pack: ai
59+
# link: files/cv.pdf
60+
61+
# Enter email to display Gravatar (if Gravatar enabled in Config)
62+
email: ''
63+
64+
# Highlight the author in author lists? (true/false)
65+
highlight_name: false
66+
67+
# Organizational groups that you belong to (for People widget)
68+
# Set this to `[]` or comment out if you are not using People widget.
69+
user_groups:
70+
- Researchers
71+
---
1.28 MB
Loading

content/news/FMPals-ABZ-2025/index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ slides:
4646
projects:
4747
---
4848

49-
We are excited to announce the publication of our new paper, dataset, and accompanying code: On Writing Alloy Models: Metrics and a New Dataset Presented at [ABZ 2025](https://abz-conf.org/site/2025/)
49+
We are excited to announce the publication of our new paper, dataset, and accompanying code: [On Writing Alloy Models: Metrics and a New Dataset](https://soaib.me/publications/resources/ABZ25.pdf) presented at [ABZ 2025](https://abz-conf.org/site/2025/)
5050

5151
In this work, we introduce FMPals, a new dataset of Alloy models authored on our Formal Methods Playground.
5252

0 commit comments

Comments
 (0)