Francesco Gavazzo is an Assistant Professor at the Department of Mathematics, University of Padua. His research focuses on theoretical computer science, particularly in programming language semantics, computational effects, relational reasoning, and inductive/coinductive methods. PhD in Computer Science and Engineering, with Honor Mention MSc in Logic and Computer Science BA in Philosophy His work bridges formal methods with practical applications in program equivalence, quantitative semantics, and effect systems. Recent contributions include frameworks for effectful program distancing and relational theories of effects. Scientific awards include recognition by the Accademia delle Scienze dell'Istituto di Bologna (Top 10 in Science) and the Best Italian PhD Thesis in Theoretical Computer Science (EATCS Italian Chapter). He serves on program committees for POPL and ICFP.
Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During 2023-24, he also holds a Visiting Professor position at EPFL in the Data Center Systems Laboratory. His research focuses on Programming Languages and Networking , with significant contributions to formal verification of network data planes and domain-specific language design. Awarded NSF CAREER Award , Sloan Research Fellowship , ACM SIGCOMM Rising Star Award , and ACM SIGPLAN Robin Milner Award Active in program committees for conferences like POPL, PLDI, SPLASH, and ICFP Research Trends : His recent work explores intersections of programming language theory with networking, including symbolic verification tools like KATch , infinite-state network analysis with StacKAT , and active learning frameworks for network automata. He applies formal methods to practical challenges in software-defined networking and hypervisor verification. Scientific Awards : NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award Academic Leadership : Serves as Session Preview Co-Chair for POPL 2024 and organizes workshops like RPLS 2025. He has chaired tutorials on P4 programming and mentored researchers through PLMW programs.
Francisco Ferreira is a Lecturer (tenure track, equivalent to Assistant Professor) in the Department of Computer Science at Royal Holloway, University of London. Previously, he was a postdoctoral Research Associate in the Department of Computing at Imperial College London, working with Professor Nobuko Yoshida. Dr. Ferreira's primary research interests include type systems and formal logic, formal meta-theory, concurrency and process calculi, session types, temporal logic and other modal logics, and principled approaches to programming. His work bridges theoretical foundations with practical applications, particularly in the realm of communication protocols and programming language design. His publication record demonstrates a strong focus on session types and their applications, with a trajectory moving from foundational theoretical work to practical implementations. Over the past decade, his research has increasingly emphasized the verification and implementation of communication protocols, resulting in tools and frameworks that ensure communication safety in distributed systems. Scientific Awards: ICFP'12 Student Research Competition First Place Dr. Ferreira has teaching experience in programming languages and paradigms, having served as both a lecturer and teaching assistant for COMP 302. His industrial experience includes Haskell consulting for Erudite Software, game programming for Bluberi, and developing mission-critical software for Motorola Argentina in the telecom industry.
Roberto Araya Schulz is a Full Professor at the University of Chile's Institute of Advanced Studies in Education, with a 44-hour working week. He holds a PhD from the University of California (1986) and an MSc from University of Chile (1979). Specializes in STEM education and educational technology Primary research areas: Machine learning in education, cognitive development, gamification His recent publications focus on: Integrating digital platforms in primary education Embodied cognition through hand puppets in math classes Large language models for spatial reasoning development Teacher discourse analysis using neural networks Key research grants include: FONDECYT Postdoctorate (2024-2027) on educational technology integration FONDECYT Exploration Projects (2024-2028) for dialogical teaching strategies IDRC funding (2017-2019) for digital tools in education
Kian Pokorny serves as Professor of Computing at McKendree University, maintaining an office in Clark Hall 200 with contact phone (618) 537-6440. His academic foundation includes a Ph.D. from Louisiana Tech and dual degrees (M.S., B.S.) from Central Missouri State University. Education background: Ph.D., Louisiana Tech M.S., Central Missouri State University B.S., Central Missouri State University His research spans Artificial Intelligence , Soft Computing , Data Science , and Computer Science Education , driven by the philosophy: "My highest priority as an educator is to produce lifelong learners with strong critical thinking skills. This I hope to accomplish by creating a non-threatening, student-centered environment within my classroom that allows students to achieve the highest possible levels of learning." This commitment manifests in curriculum innovations and educational tool development. Analysis of his 15 most recent publications reveals consistent focus on computer science pedagogy evolution. Key trends include: integration of data science into traditional curricula (2022), machine learning applications for institutional analysis (2021), and sustained development of the Frances tool suite for computer architecture education (2009-2012). His work bridges theoretical computer science with practical educational implementation, demonstrating particular strength in constraint satisfaction problems and fuzzy logic applications. Scientific recognition: ACI Grant for Intelligent Tutoring Systems Design: An Empirical Approach (2005-2006) While specific student advisees aren't documented, his extensive publication record in educational methodology suggests significant mentorship impact. The ACI grant specifically supported research into adaptive learning systems, indicating early recognition of his contributions to educational technology innovation. No laboratory facilities or research teams are referenced in available materials.
Maria-Cristina Marinescu serves as a Lecturer in the Department of Mathematics and Data Analytics at IQS School of Management. With a strong foundation in computational methods and data analysis, she contributes significantly to both teaching and research within the institution. Her academic profile demonstrates consistent scholarly activity with 44 documented scientific production items spanning over two decades. Dr. Marinescu's research interests center on Machine Learning, Data Analytics, and Artificial Intelligence, with notable applications in epidemic modeling, wireless sensor networks, and programming models. Her work bridges theoretical computer science with practical applications addressing real-world challenges in public health, digital well-being, and medical diagnostics. The fingerprint analysis of her work shows strong emphasis on Machine Learning (100%), Learning Systems (100%), and Transportation Models (100%), with substantial contributions to Programming Models (84%) and Wireless Sensor Networks (77%). Her recent publications reveal a trend toward interdisciplinary research that combines computational methods with societal challenges. She has made significant contributions to epidemic modeling during the COVID-19 pandemic, developing methods for accurate incidence rate estimation in Spain and analyzing information gains from multiple epidemic model outputs. Additionally, her work extends to medical applications including research on ocular ischemia and glaucoma, as well as innovative approaches to automated metadata annotation using machine learning techniques. Dr. Marinescu actively leads and participates in multiple research projects including Uncovering patterns of unconscious reactions to fake content (as Principal Investigator), MobilePressure (focused on reducing children's smartphone exposure), and ADAMIQS: Applied Data Analytics and Modelling IQS . These projects demonstrate her commitment to addressing contemporary issues through data-driven approaches while mentoring students and collaborating with interdisciplinary research teams.
Tinghao Feng serves as an Assistant Professor at Appalachian State University, specializing in time-oriented data analysis and visualization systems. His research develops comprehensive tools for exploring temporal patterns across environmental science, healthcare, and finance domains through innovative data mining algorithms and user-friendly software applications. His primary research interests focus on Time Series Analysis and Data Visualization, with significant contributions to Machine Learning applications. He investigates methods for visualizing complex temporal data, developing pattern recognition algorithms, and creating interactive analysis frameworks applicable to environmental monitoring, clinical informatics, and financial forecasting systems. Recent publications reveal a strong emphasis on visual analytics for temporal data, spanning environmental applications (honey bee monitoring, landslide prediction), healthcare informatics (patient messaging systems, pandemic modeling), and remote sensing. Key developments include the TimePool system for univariate time series querying and EVis for environmentally driven event analysis, demonstrating cross-disciplinary impact. Dr. Feng maintains active demonstration systems including TimePool for temporal query visualization and Polynomial Similarity Dependency Trees for linguistic structure analysis, reflecting his commitment to translating research into practical analytical tools for complex data exploration.
Dean Zeller is a Lecturer at the Kinsley School of Engineering, Sciences and Technology, York College of Pennsylvania, based in Kinsley Engineering Center (Room 136). His educational background includes an M.S. in Computer Science and a B.S. in Mathematics and Computer Science, both from Bowling Green State University. Research Focus: Zeller's work bridges computational methods and theoretical disciplines, with emphasis on: Algorithmic approaches to Geometric Modeling Data Mining and statistical analysis AI/ML system development Computational implementations of Abstract Algebra Societal ethics of emerging technologies He has authored educational publications exploring programming in mathematical proofs, experimental mathematics pedagogy, and comparative programming language textbooks.
Professor Michael Scharf is a faculty member at Esslingen University of Applied Sciences, where he serves as Professor for Communication Networks since September 2018. His expertise lies in communication networks, with a particular focus on TCP/IP protocols, network management, and optimization techniques. Esslingen University of Applied Sciences, School of Computer Science and Information Technology Professor for Communication Networks (2018-present) Laboratory Management of Communication Technology Laboratory Dr. Scharf's research interests span applied communication networks, with special emphasis on modern TCP/IP applications for IoT and Automotive Ethernet, as well as network management and data modeling using NETCONF/YANG frameworks. His work bridges theoretical networking concepts with practical implementations, particularly in the areas of congestion control, multipath transport, and application-layer traffic optimization. His publication portfolio demonstrates consistent contributions to networking research, with recent focus on YANG data modeling for TCP, IoT networking standards, and ALTO protocol extensions. The research trajectory shows evolution from congestion control mechanisms to modern network data modeling and IoT applications. Best presentation/demo award for 'Monitoring and Abstraction for Networked Clouds', Proc. ICIN, Oct. 2012 Chair of the TCPM working group in the IETF from 2011 to 2022 Reviewer for TCP/UDP port numbers allocation by IANA since 2022 Dr. Scharf has supervised numerous student works including Bachelor's and Master's theses, study projects, and research projects. His industry experience prior to academia included significant roles at Alcatel-Lucent Bell Labs and Nokia, where he worked on network management systems and was recognized as a Distinguished Member of Technical Staff. He leads the Communication Technology Laboratory (KTlab) at Esslingen University, which focuses on practical implementations and testing of communication network technologies, particularly in the areas of cyber-physical networks, embedded systems communication, and automotive communication networks.
Beomjoon Kim is an Associate Professor at the Graduate School of AI at Korea Advanced Institute of Science and Technology (KAIST). He directs the Humanoid Generalization (HuGe) lab, which focuses on creating general-purpose humanoids capable of efficient decision-making in complex environments. Education: Ph.D. in Computer Science from MIT CSAIL M.Sc. in Computer Science from McGill University B.Math in Computer Science and Statistics from University of Waterloo Professor Kim's research spans multiple areas of robotics and artificial intelligence, with a particular focus on humanoid robotics, task and motion planning, and robot learning. His work aims to bridge the gap between high-level task planning and low-level motion control, enabling robots to operate effectively in complex, real-world environments. He has made significant contributions to the field of geometric task and motion planning, developing novel algorithms that improve the efficiency and effectiveness of robot decision-making processes. Analysis of Professor Kim's recent publications reveals a strong focus on humanoid robotics, with particular emphasis on motion planning, object manipulation, and learning-based approaches. His work increasingly integrates deep learning techniques with traditional robotics algorithms, demonstrating a trend toward more data-driven approaches in robotics research. Many of his papers address the challenge of generalization in robotics, seeking to develop systems that can handle novel objects and environments without extensive retraining. Scientific Awards: Best Cognitive Robotics Paper award at ICRA 2017 Oral presentation (top 6% of accepted papers) at AAAI 2020 Oral presentation (top 6% of accepted papers) at AAAI 2019 Oral presentation (top 6% of accepted papers) at AAAI 2018 Spotlight presentation (top 3.5% of accepted papers) at NeurIPS 2018 Spotlight presentation (top 4% of accepted papers) at NeurIPS 2013 Plenary talk (top 12% of accepted papers) at CoRL 2020 Professor Kim actively mentors students at various levels, currently advising multiple Ph.D. and Master's students in the HuGe lab. His research is supported by grants that enable his team to pursue ambitious projects in humanoid robotics and AI. Through collaborations with institutions like MIT and industry partners, his work has significant impact on both academic research and practical applications of robotics technology. The HuGe lab, under Professor Kim's direction, has established itself as a leading research group in humanoid robotics. The lab maintains strong connections with other research institutions and regularly publishes in top-tier robotics and AI conferences. Current research directions include developing more efficient motion planning algorithms, improving robot manipulation capabilities, and exploring the integration of large language models with robotic systems.
Woojin Kim is a Professor in the Department of Mathematical Science at Korea Advanced Institute of Science and Technology (KAIST), having joined the faculty on July 1, 2023. Prior to KAIST, he served as a William W. Elliott Assistant Research Professor at Duke University from 2020 to 2023. His educational background includes: Doctoral degree from Ohio State University (2020) Specializing in Applied and Computational Topology, Professor Kim's research integrates topological frameworks with computational methodologies. His work spans Algebraic Topology, Topological Data Analysis, and Computational Geometry, with applications in data science and machine learning. This research bridges abstract mathematical theory and practical computational challenges, particularly in high-dimensional data analysis. No scientific awards, student advising activities, research grants, or laboratory facilities were mentioned in the provided text.
