جست‌وجوی استاد و پژوهشگر

Tom Conteمشاهده پروفایل

استاد

• Computer Architecture
• Compiler Optimization
• Manycore Architectures
• +۴ مورد دیگر

Tom Conte is an academic leader with a joint appointment in the School of Electrical & Computer Engineering and School of Computer Science at Georgia Institute of Technology. As the founding director of the Center for Research into Novel Computing Hierarchies (CRNCH), he specializes in computer architecture and compiler optimization. His work focuses on manycore architectures, energy-efficient microprocessor design, and embedded system architectures. Prior to Georgia Tech, he directed the Center for Embedded Systems Research at North Carolina State University. He holds IEEE Fellow status and served as 2015 President of the IEEE Computer Society, co-leading the IEEE Rebooting Computing Initiative since 2011. Dr. Conte earned his bachelor’s degree in Electrical Engineering from the University of Delaware (1986), followed by M.S. and Ph.D. degrees in Electrical Engineering from the University of Illinois at Urbana-Champaign (1988 and 1992). His research has been recognized with prestigious awards including the IEEE Computer Society’s Golden Core Member award and the National Science Foundation’s CAREER Award (1996). His research interests span quantum computing, 3D chip architectures, energy-efficient processing, and post-Moore computing innovations. He has pioneered initiatives like the Superstrider architecture and CREEPY energy-efficient processing frameworks. Recent work includes advancements in quantum programming languages (e.g., Qwerty) and hybrid quantum-classical systems. Awards: IEEE Fellow, Young Alumni Achievement Award, CAREER Award Leadership: IEEE Computer Society President (2015), CRNCH Director Key Projects: Rebooting Computing Initiative, Superstrider Architecture His lab’s contributions include novel compiler optimizations for manycore systems, smart NIC offloading techniques, and thermodynamically inspired computing models. Conte’s work bridges academic research with industry needs through interdisciplinary collaborations and standardization efforts.

Yonghwi Kwonمشاهده پروفایل

استادیار مهمان

• Software Systems Security
• Cyber Forensics
• Software Engineering
• +۳ مورد دیگر

Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.

Joseph Friedmanمشاهده پروفایل

دانشیار

• Artificial Intelligence Hardware
• Beyond-CMOS Computing
• Neuromorphic Computing
• +۶ مورد دیگر

Joseph S. Friedman is an Associate Professor of Electrical & Computer Engineering at the University of Texas at Dallas, leading the NeuroSpinCompute Laboratory within the Erik Jonsson School of Engineering and Computer Science. His research focuses on unconventional computing paradigms leveraging nanotechnology, including neuromorphic systems, spintronics, and memristive devices. He specializes in nanomagnet-based logic architectures, neuromorphic computing with domain walls and skyrmions, and hardware security for emerging technologies. His research explores energy-efficient computing through novel paradigms such as reversible skyrmion logic, neuromorphic networks using magnetic tunnel junctions, and stochastic Bayesian inference circuits. He has pioneered spintronic neurons demonstrating 94% accuracy in handwritten digit recognition and developed secure logic locking mechanisms using nanomagnet logic. His work integrates experimental fabrication with SPICE modeling, emphasizing scalable beyond-CMOS systems. Recent advancements include toggle SOT-MRAM architectures, quantum circuit design for neutral atom systems, and neuromorphic networks leveraging superconducting flux quanta. He advises over 20 graduate and undergraduate students, fostering innovation in AI hardware and unconventional computing. Notable projects include the NeuroSpinCompute Lab's domain wall neuromorphic networks, secure logic locking schemes, and collaborations with institutions like Sandia National Labs on neuromorphic reservoir computing. Current research trends emphasize low-energy spintronic architectures, hybrid quantum-classical systems, and neuromorphic applications in edge computing. His research is supported by NSF grants CCF-1910800 and CCF-2146439, focusing on neuromorphic and spintronic systems. He regularly contributes to conferences like IEEE Rebooting Computing and SPIE Spintronics, showcasing breakthroughs in nanomagnetic logic and neuromorphic inference.

Rajendran Jeyavijayanمشاهده پروفایل

دانشیار

• Hardware Security
• Computer Security
• Hardware Fuzzing
• +۴ مورد دیگر

Jeyavijayan 'JV' Rajendran is an Associate Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He is an ASCEND Fellow and leads the Secure and Trustworthy Hardware (SETH) Lab. His research focuses on hardware security, computer security, and novel applications of AI in secure hardware design. Education: PhD in Electrical Engineering (NYU 2015), MS in Computer Engineering (NYU Tandon 2010), BE in Electronics and Communication Engineering (Anna University 2008). Research Interests: Hardware Security, Computer Security, Logic Locking, Hardware IP Protection, and Reinforcement Learning for Security. He explores AI-driven approaches to detect vulnerabilities, protect intellectual property, and enhance secure hardware design through fuzzing, obfuscation, and formal verification. Notable Awards: 2022 Office of Naval Research Young Investigator Award, 2021 IEEE CEDA Ernest Kuh Early Career Award, 2017 NSF CAREER Award. Lab and Teams: The SETH Lab focuses on trustworthy hardware design, developing techniques to secure integrated circuits against reverse engineering and IP theft. Current projects include LLM-based hardware code generation, formal approaches for hardware fuzzing, and AI-driven vulnerability detection.

Jindrich Zapletalمشاهده پروفایل

استاد

• Set Theory
• Mathematical Logic
• Descriptive Set Theory
• +۳ مورد دیگر

Jindrich Zapletal is a Professor in the Department of Mathematics at the University of Florida, affiliated with the College of Liberal Arts and Sciences. He holds a Ph.D. from The Pennsylvania State University (1995), advised by Thomas Jech. His research focuses on set theory, mathematical logic, and their applications, with specializations in descriptive set theory, combinatorial set theory, and forcing techniques. He is a core member of the UF Logic and Set Theory Group, which organizes the annual South Eastern Logic Symposium (SEALS), funded by the NSF. He teaches advanced courses like Invariant Descriptive Set Theory and has advised numerous graduate students. His work frequently explores consistency results under ZF set theory, chromatic numbers of hypergraphs, and interactions between forcing and topology. He actively contributes to conferences and has co-authored influential textbooks and monographs in set theory and logic. Education: Ph.D., Mathematics, The Pennsylvania State University, 1995 Research Interests: Choiceless set theory, descriptive set theory, forcing with ideals, and combinatorial structures in set theory Professional Roles: Organizer of SEALS conferences, instructor for graduate-level logic courses Grants: NSF Award 1945890 and multiple University of Florida grants Zapletal’s research emphasizes foundational questions in set theory, particularly under weaker axioms like ZF+DC, and their implications for algebra, topology, and combinatorics. His recent work includes studies on chromatic numbers of geometric hypergraphs and the structure of sigma-ideals in Polish spaces. Collaborations span topics like permutation models, game determinacy, and measure-theoretic forcing.

Anna C. Balazsمشاهده پروفایل

استاد

• Soft matter theory
• Polymer physics
• Smart materials
• +۴ مورد دیگر

Anna C. Balazs is Distinguished Professor and John A. Swanson Chair of Engineering in the Department of Chemical Engineering at the University of Pittsburgh, with an adjunct appointment in Chemistry and visiting professorships at Scripps Research Institute, UT-Austin and Oxford University. In 2025 she receives the €10,000 Gutenberg Research Award from Johannes Gutenberg University Mainz (JGU) for her pioneering theoretical work on smart soft materials. She earned an A.B. in Physics from Bryn Mawr College (1975) and a Ph.D. in Materials Science from MIT (1981), followed by post-doctoral research at Brandeis, MIT and UMass. Research interests span theoretical and computational soft-matter physics, focusing on: Statistical-mechanical modelling of polymer blends and composites Self-oscillating and chemo-responsive hydrogels Active matter, enzyme-powered swimmers and self-propelling sheets Self-healing, shape-morphing and bio-inspired materials Computer simulation of colloidal and interfacial phenomena Recent publications (2023-2025) demonstrate a clear trend toward integrating chemistry, fluid mechanics and elasticity to create life-like, autonomous soft machines. Key contributions include: Harnessing enzyme pumps to drive macroscopic sheet locomotion Designing chemically communicating micro-post arrays Creating dissipative materials with programmable, hierarchical 3-D architectures Scientific awards include: Gutenberg Research Award 2025 Polymer Physics Prize, American Physical Society SF Boys-A. Rahman Award, Royal Society of Chemistry Langmuir Lectureship Award, American Chemical Society Election to the U.S. National Academy of Sciences (2021) She serves on the Advisory Board of the DOE-BES Materials Council and on editorial boards for Langmuir , Soft Matter and Polymer Reviews . Her group collaborates closely with experimental teams world-wide, including the DFG-NSF “Confine” partnership with JGU and the CoM2Life Cluster of Excellence initiative.

Charles M Harrisمشاهده پروفایل

مدرس

• Computability Theory
• Computable Combinatorics
• Reverse Mathematics
• +۴ مورد دیگر

Charles M Harris is a Lecturer in Pure Mathematics at the School of Mathematics, University of Bristol. His academic training includes a BSc from the University of Bristol, an MSc from King's College London, a DEA from Paris, and a PhD from the University of Leeds. Education: BSc (Bristol), MSc (King's College London), DEA (Paris), PhD (Leeds) Harris specializes in Computability Theory, with a focus on Computable Combinatorics and Reverse Mathematics. His research explores enumeration reducibility, automorphism structures of linear orderings, jump inversion, and noncuppable enumeration degrees. Key contributions include work on maximal block functions, symmetric enumeration degrees, and polynomial-time bounded reducibility. His publications (15 most recent) span topics in computable orderings, enumeration degree theory, and algorithmic combinatorics. Articles often intersect with mathematical logic and recursion theory, addressing foundational questions about computability and complexity.

Susanne Göddeمشاهده پروفایل

استاد

• Ancient Greek Religion and Literature
• Mythology and Modern Myth Theory
• Greek Tragedy
• +۳ مورد دیگر

Prof. Dr. Susanne Gödde is a Professor of Religious Studies at the Free University of Berlin’s Institute for Religious Studies (WE 8) within the Department of History and Cultural Studies. She holds a W3-Professur since 2016 and serves as Principal Investigator in the Graduate College „Normativität, Kritik, Wandel“. Her academic journey includes habilitation at FU Berlin (2006) and professorships at LMU Munich (2008–2016). 1985–1993: Studied Greek Philology, German Studies, and Classical Archaeology at Westfälische Wilhelms-Universität Münster 1999: PhD in Greek Philology from Münster 2006: Habilitation at FU Berlin Her research focuses on Ancient Greek Religion and Literature , Mythology , and its modern reception, with emphasis on tragedy, novels, and ritual practices. Current projects include DFG research groups on aetiological narratives and sacrificial theory. She explores foundation myths , sacrifice as cultural metaphor , and gender in religious contexts . Recent publications analyze themes such as mythological origins (2025), virginity and violence in Greek novels (2025), rituals in tragedy (2023), and narrative contingency (2022). Her work bridges classical philology, religious studies, and cultural theory. Heidelberger Förderpreis für klassisch-philologische Theoriebildung Lise Meitner-Habilitationsstipendium des Landes Nordrhein-Westfalen Promotionsstipendium der Westfälischen Wilhelms-Universität Münster As advisor, she has mentored PhD students Dr. Emrys Schlatter , Dr. Sebastian Zerhoch , and Dr. Stephanie Roberta Graf . Her outreach includes podcasts on ancient asylum, mythological themes, and public lectures on Homeric reception.

George Churchمشاهده پروفایل

استاد

• Genomics
• Synthetic Biology
• Genome Engineering
• +۱۲ مورد دیگر

George M. Church is a Professor of Genetics at Harvard Medical School and affiliated with MIT, where he directs PersonalGenomes.org, providing open-access genomic, environmental and trait data. His laboratory focuses on transformative technologies for reading and writing 3D/4D biological structures with attention to ethics, safety, and equitable access. Church has co-initiated major scientific initiatives including the BRAIN Initiative (2011) and multiple Genome Projects (GP-Read-1984, GP-Write-2016, PGP-2005). Church's research spans multiple cutting-edge domains including genome engineering, synthetic biology, aging reversal, and space genetics. His lab pioneered foundational methods for direct genome sequencing, molecular multiplexing and barcoding in 1984, leading to the first genome sequence in 1994. His innovations contributed to nearly all next-generation DNA sequencing methods and companies. Current research directions include machine learning for protein engineering, tissue reprogramming, organoids, gene therapy, and in situ 3D DNA/RNA/protein imaging. His work bridges fundamental biology with therapeutic applications across diverse fields from Alzheimer's disease to de-extinction biology. Church's recent publications reveal a remarkable breadth of scientific inquiry, spanning from fundamental genome editing techniques to applications in aging research, neuroscience, and space biology. His work increasingly integrates artificial intelligence with biological systems, as seen in papers on machine-guided cell-fate engineering and automation of systematic reviews with large language models. His research maintains a strong translational focus, with numerous papers addressing therapeutic applications in cancer immunotherapy, gene therapy, and diagnostics. The consistent theme across his diverse publications is the development and application of transformative technologies to address fundamental biological questions and medical challenges. National Academy of Sciences (NAS) membership National Academy of Engineering (NAE) membership Franklin Bower Laureate for Achievement in Science Co-initiator of the BRAIN Initiative (2011) Director of multiple NIH Centers for Excellence in Genomic Science (2004-2020) Church directs numerous research centers including the NIH-CEGS, Personal Genome Project (PGP), Lipper Center for Computational Genetics, and Wyss Institute Synthetic Biology center. His laboratory has trained PhD students across multiple Harvard and MIT programs including Biophysics, BBS, Biomedical Informatics, ChemBio, Chemistry, SSQB, MCO, Virology, HST, EE/CS, Physics and Applied Math. His commercial impact is extensive through companies spanning medical diagnostics (Knome/PierianDx, Alacris, Nebula, Veritas) and synthetic biology/therapeutics (AbVitro/Juno, Gen9/enEvolv/Zymergen/Warpdrive/Gingko, Editas, Egenesis). Church also pioneered new privacy, biosafety, ELSI, environmental and biosecurity policies. The Church Lab operates across multiple research domains including molecular multiplexing, next-generation sequencing, nanopore technology, and genome engineering. The lab maintains strong connections with the Personal Genome Project, Wyss Institute, and multiple commercial ventures. Current research directions include the Spatial Atlas of Human Anatomy (SAHA), human skin rejuvenation via mRNA, and space genetics research through the Consortium for Space Genetics and BioAstra. The lab's mission focuses on transformative technologies for reading and writing 3D/4D structures at any scale, inspired by but not limited by biology.

• Hardware Security
• Machine Learning
• 3D IC Design
• +۴ مورد دیگر

Wafi Danesh is an Assistant Professor in the Department of Engineering Programs at SUNY New Paltz, part of the School of Science & Engineering. He holds a PhD in Electrical and Computer Engineering from the University of Missouri Kansas City (2022). Prior to academia, he served as a Senior Engineer I - Design at Microchip Technology Inc. (2022-2023). His research focuses on hardware security, leveraging machine learning for FPGA Trojan detection and secure 3D IC design. Teaching interests include System-on-Chip Design, Digital Logic Fundamentals, and Computer Architecture. Education: PhD in Electrical and Computer Engineering, University of Missouri Kansas City, 2022 Research Interests: Dr. Danesh explores cutting-edge methods to enhance hardware security, including AI-driven approaches for IoT device protection and thermal management in 3D integrated circuits. His work bridges machine learning and physical hardware vulnerabilities, emphasizing FPGA security and PUF-based solutions for wireless systems. Publications Trends: His articles span FPGA Trojan detection via NLP and unsupervised learning, thermal challenges in 3D ICs, and neuromorphic computing innovations. Recent work highlights automated security tools and multi-valued computing for energy efficiency. Awards: None explicitly listed in the provided materials. Advising & Grants: No formal advisees or grants are mentioned. His professional activities center on research and teaching.

John D. Nortonمشاهده پروفایل

استاد

• History and Philosophy of Physics
• General Relativity
• Special Relativity
• +۱۶ مورد دیگر

John D. Norton is a Distinguished Professor in the Department of History and Philosophy of Science (HPS) at the University of Pittsburgh, where he has been a faculty member since 1983. He served as Chair of the department from 2000 to 2005 and as Director of the Center for Philosophy of Science from 2005 to 2016. His work bridges the history and philosophy of physics, with deep engagement in Einstein’s relativity, quantum theory, statistical mechanics, and foundational issues in scientific reasoning. His educational background includes a PhD in the School of History and Philosophy of Science from the University of New South Wales (1982) and a Bachelor of Engineering in Chemical Engineering from the same institution (1974). Before transitioning to philosophy, he worked as a technologist at the Shell Oil Refinery in Sydney. Norton is renowned for his development of the material theory of induction , which challenges formalist approaches by asserting that inductive inferences are warranted by domain-specific facts rather than universal logical rules. He has also made significant contributions to the philosophy of spacetime, particularly through his analysis of the hole argument , and has published extensively on thought experiments, causation, and the thermodynamics of computation. His recent publications (2021–2025) reflect a sustained focus on induction, spacetime ontology, and the limits of thermodynamic reversibility and information processing. Key themes include the critique of Bayesianism, the historical development of thermodynamics, and the philosophical implications of time travel models in general relativity. His two major books— The Material Theory of Induction (2021) and its sequel The Large-Scale Structure of Inductive Inference (2024)—form a comprehensive philosophical framework for understanding scientific reasoning beyond formal logic. Co-Founder and Executive Committee Member, philsci-archive.pitt.edu Editor for Philosophy of Physics (Space and Time, General Physics), Stanford Encyclopedia of Philosophy Contributing Editor, Archive for History of Exact Science (1996–present) Associate/Co-Editor, Studies in History and Philosophy of Modern Physics Contributing Editor, Collected Papers of Albert Einstein , Volumes 3 and 4 Norton has advised numerous graduate students and has been instrumental in shaping the academic landscape of philosophy of science through editorial leadership and archival initiatives. His teaching includes graduate seminars on confirmation theory and the popular undergraduate course Einstein for Everyone , for which he maintains a freely available online textbook.

Lars Kristiansenمشاهده پروفایل

استاد

• Mathematical Logic
• Computability Theory
• Complexity Theory
• +۴ مورد دیگر

Lars Kristiansen is Professor II (part-time Professor) at the Department of Mathematics, University of Oslo . His research centres on the intersection of mathematical logic, computability theory, and computational complexity, with recent emphasis on computable analysis, weak first-order theories, subrecursive degree structures, and implicit computational complexity. Research Interests Computable Analysis: Representations and computational complexity of irrational and real numbers. Weak First-Order Theories: Decidability, interpretability and fragments of concatenation theories. Subrecursive Degree Theory: Fine structure of honest subrecursive degrees and the Grzegorczyk hierarchy. Implicit Computational Complexity: Reversible computing, type systems that capture complexity classes, and resource-bounded program analysis. Across more than 50 refereed publications since 1996, a clear trend emerges: an early focus on subrecursive hierarchies and honest degrees evolved into an intensive study of the computational content of real number representations and the logical strength of weak arithmetics. Recent work (2023-2025) deepens this agenda, analysing the complexity of converting between alternative representations of reals and the degree structures that these induce. Scientific Output While no named awards are listed, Kristiansen’s contributions are disseminated in top venues such as Bulletin of Symbolic Logic , Annals of Pure and Applied Logic , Archive for Mathematical Logic , Science of Computer Programming , and leading LNCS conferences. His work is frequently co-authored with Amir Ben-Amram, Jakob Grue Simonsen, Juvenal Murwanashyaka, Ivan Georgiev, and Neil D. Jones, indicating active collaborative networks in both logic and theoretical computer science. Research Groups & Collaborations Logic research group at the University of Oslo Data and Knowledge Management (DKM) group

• Supply Chain Management
• Modeling and Optimization
• Production and Service Systems Management
• +۳ مورد دیگر

Prof. Şule Itır Satoğlu is a faculty member in the Department of Industrial Engineering at Istanbul Technical University, holding the rank of Professor since 2019. She has held multiple administrative roles, including Head of Department (2025–present), Vice Rector (2020–2024), and Vice Dean (2018–2020). Her research focuses on supply chain management, optimization, sustainable operations, and disaster response systems. She has a PhD in Industrial Engineering from Istanbul Technical University (2008), an MSc in Engineering Management (2002), and a BSc in Mechanical Engineering (2000). Her work emphasizes practical applications of optimization techniques in logistics, healthcare, and disaster management. Notable contributions include developing models for blood supply chains under uncertainty, UAV-based waste detection, and sustainable urban transport fleet electrification. She has collaborated on projects funded by public and private sectors, addressing issues like lean manufacturing integration with Industry 4.0 and RFID-enabled maintenance systems. Her publications span over two decades, with recent focus on multi-objective optimization in humanitarian logistics, smart waste collection systems, and energy-efficient drone surveillance. She is a member of the TMMOB Chamber of Mechanical Engineers and actively contributes to national technology initiatives through academic leadership roles.

Samet ÖZDEMİRمشاهده پروفایل

پژوهشگر

• Human Resources Management
• Organizational Behavior
• Reverse Mentoring
• +۵ مورد دیگر

Res.Asst.Dr. Samet ÖZDEMİR is a faculty member at the Department of Human Resources Management within Sakarya University's Faculty of Business Administration. He holds a Researcher academic rank and teaches courses such as Social Entrepreneurship, Career Planning, Human Resources Management, and Graduation Project supervision. His research focuses on reverse mentoring, HR risk assessment, workplace discrimination, leadership competencies, and sustainable career development. He has published extensively in national and international journals, contributing to organizational behavior and management science domains. Education & Academic Background: While specific educational details are not explicitly stated, his titles (Res.Asst.Dr.) indicate doctoral-level qualifications in a relevant field such as Business Administration or Human Resources Management. His academic contributions include co-authoring book chapters on topics like digital HR management and sustainable entrepreneurship. Research Interests: His work bridges theoretical frameworks with practical HR applications, emphasizing reverse mentoring case studies (e.g., research assistants-advisors dynamics), ethical recruitment practices, and leveraging digital tools for leadership development. He also explores cross-cultural career perceptions and the role of lifelong learning in managerial roles, as seen in his analysis of historical business figures like Madam C.J. Walker. Publication Trends: Recent works (2022-2023) highlight digital transformation in HR practices, entrepreneurship competency frameworks, and LinkedIn-based executive leadership analysis. Earlier studies (2015-2017) addressed blue-collar workforce underrepresentation in academic research and discrimination in HR job advertisements. Teaching & Supervision: He manages various theses and oversees vocational training programs, integrating practical workplace experiences into academic curricula. Courses like 'Vocational Training in Business' and 'Career Planning' reflect his commitment to bridging educational theory with professional readiness. Awards & Grants: No specific awards are mentioned, though his active publication record suggests contributions meriting academic recognition. Grant details are not provided in the text. Labs & Teams: While no specific labs are noted, his collaborative publications indicate involvement in academic teams focusing on human resources innovation, organizational behavior, and sustainable development initiatives.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.